configs: Remove Celsius H700 config

No longer in use, already started to rot.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/configs/h700-8G.c b/configs/h700-8G.c
deleted file mode 100644 (file)
index 938f0d0..0000000
--- a/configs/h700-8G.c
+++ /dev/null
@@ -1,266 +0,0 @@
-/*
- * Jailhouse, a Linux-based partitioning hypervisor
- *
- * Test configuration for Celsius H700, 8 GB RAM, 64 MB hypervisor
- *
- * Copyright (c) Siemens AG, 2013
- *
- * Authors:
- *  Jan Kiszka <jan.kiszka@siemens.com>
- *
- * This work is licensed under the terms of the GNU GPL, version 2.  See
- * the COPYING file in the top-level directory.
- */
-
-#include <linux/types.h>
-#include <jailhouse/cell-config.h>
-
-#define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
-
-struct {
-       struct jailhouse_system header;
-       __u64 cpus[1];
-       struct jailhouse_memory mem_regions[9];
-       struct jailhouse_irqchip irqchips[1];
-       __u8 pio_bitmap[0x2000];
-       struct jailhouse_pci_device pci_devices[25];
-} __attribute__((packed)) config = {
-       .header = {
-               .hypervisor_memory = {
-                       .phys_start = 0x3c000000,
-                       .size = 0x4000000,
-               },
-               .config_memory = {
-                       .phys_start = 0xbf7de000,
-                       .size = 0x21000,
-               },
-               .platform_info.x86 = {
-                       .pm_timer_address = 0x408,
-               },
-               .root_cell = {
-                       .name = "Celsius H700",
-
-                       .cpu_set_size = sizeof(config.cpus),
-                       .num_memory_regions = ARRAY_SIZE(config.mem_regions),
-                       .num_irqchips = ARRAY_SIZE(config.irqchips),
-                       .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
-                       .num_pci_devices = ARRAY_SIZE(config.pci_devices),
-               },
-       },
-
-       .cpus = {
-               0xf,
-       },
-
-       .mem_regions = {
-               /* RAM */ {
-                       .phys_start = 0x0,
-                       .virt_start = 0x0,
-                       .size = 0x3c000000,
-                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
-                               JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
-               },
-               /* RAM */ {
-                       .phys_start = 0x40000000,
-                       .virt_start = 0x40000000,
-                       .size = 0x7f7de000,
-                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
-                               JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
-               },
-               /* ACPI */ {
-                       .phys_start = 0xbf7de000,
-                       .virt_start = 0xbf7de000,
-                       .size = 0x21000,
-                       .flags = JAILHOUSE_MEM_READ,
-               },
-               /* RAM */ {
-                       .phys_start = 0xbf7ff000,
-                       .virt_start = 0xbf7ff000,
-                       .size = 0x801000,
-                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
-                               JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
-               },
-               /* PCI */ {
-                       .phys_start = 0xc0000000,
-                       .virt_start = 0xc0000000,
-                       .size = 0x3eb00000,
-                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
-               },
-               /* not safe until we catch MSIs via interrupt remapping */
-               /* HPET */ {
-                       .phys_start = 0xfed00000,
-                       .virt_start = 0xfed00000,
-                       .size = 0x1000,
-                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
-               },
-               /* RAM */ {
-                       .phys_start = 0x100000000,
-                       .virt_start = 0x100000000,
-                       .size = 0xfc000000,
-                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
-                               JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
-               },
-               /* RAM */ {
-                       .phys_start = 0x200000000,
-                       .virt_start = 0x200000000,
-                       .size = 0x3c000000,
-                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
-                               JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
-               },
-       },
-
-       .irqchips = {
-               /* IOAPIC */ {
-                       .address = 0xfec00000,
-                       .pin_bitmap = 0xffffff,
-               },
-       },
-
-       .pio_bitmap = {
-               [     0/8 ...   0x3f/8] = -1,
-               [  0x40/8 ...   0x47/8] = 0xf0, /* PIT */
-               [  0x48/8 ...   0x5f/8] = -1,
-               [  0x60/8 ...   0x67/8] = 0x0, /* HACK: 8042, and more? */
-               [  0x68/8 ...   0x6f/8] = -1,
-               [  0x70/8 ...   0x77/8] = 0xfc, /* rtc */
-               [  0x78/8 ...  0x2f7/8] = -1,
-               [ 0x2f8/8 ...  0x2ff/8] = 0, /* serial2 */
-               [ 0x300/8 ...  0x36f/8] = -1,
-               [ 0x370/8 ...  0x377/8] = 0xbf, /* ide */
-               [ 0x378/8 ...  0x3af/8] = -1,
-               [ 0x3b0/8 ...  0x3df/8] = 0, /* VGA */
-               [ 0x3e0/8 ...  0x3f7/8] = -1,
-               [ 0x3f8/8 ...  0x3ff/8] = 0, /* serial 1 */
-               [ 0x400/8 ...  0x47f/8] = 0, /* ACPI...? */
-               [ 0x480/8 ...  0xcff/8] = -1,
-               [ 0xd00/8 ... 0xffff/8] = 0, /* HACK: full PCI */
-       },
-
-       .pci_devices = {
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x0000,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_BRIDGE,
-                       .domain = 0x0000,
-                       .bdf = 0x0008,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00b0,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00b2,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00b3,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00c8,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00d0,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00d8,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_BRIDGE,
-                       .domain = 0x0000,
-                       .bdf = 0x00e0,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_BRIDGE,
-                       .domain = 0x0000,
-                       .bdf = 0x00e1,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00e8,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_BRIDGE,
-                       .domain = 0x0000,
-                       .bdf = 0x00f0,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00f8,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00fa,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00fb,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x00fe,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x0100,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x0101,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0x1000,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0xff00,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0xff01,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0xff10,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0xff11,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0xff12,
-               },
-               {
-                       .type = JAILHOUSE_PCI_TYPE_DEVICE,
-                       .domain = 0x0000,
-                       .bdf = 0xff13,
-               },
-       },
-};