vm.fail
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
1#ifndef HV_CONFIG_H
2#define HV_CONFIG_H
3
4#define HV_PROJECT_NAME "ariel"
5#define HV_BUILD_MODE "qemu-virt-aarch64"
6#define HV_BUILD_ID "reproducible-local"
7
8#define CONFIG_PLATFORM_QEMU_VIRT 1
9#define CONFIG_HV_LOAD_ADDRESS 0x40080000ull
10#define CONFIG_UART_BASE 0x09000000ull
11#define CONFIG_UART_SIZE 0x00001000ull
12#define CONFIG_RTC_BASE 0x09010000ull
13#define CONFIG_RTC_SIZE 0x00001000ull
14#define CONFIG_FW_CFG_BASE 0x09020000ull
15#define CONFIG_FW_CFG_SIZE 0x00001000ull
16#define CONFIG_GPIO_BASE 0x09030000ull
17#define CONFIG_GPIO_SIZE 0x00001000ull
18#define CONFIG_PCI_ECAM_BASE 0x4010000000ull
19#define CONFIG_PCI_ECAM_SIZE 0x10000000ull
20#define CONFIG_GICD_BASE 0x08000000ull
21#define CONFIG_GICD_SIZE 0x00010000ull
22#define CONFIG_GITS_BASE 0x08080000ull
23#define CONFIG_GITS_SIZE 0x00020000ull
24#define CONFIG_GICR_BASE 0x080A0000ull
25#define CONFIG_GICR_SIZE 0x00F60000ull
26
27#define CONFIG_PAGE_SIZE 4096ull
28#define CONFIG_HV_STACK_SIZE 0x10000ull
29#define CONFIG_GUEST_IPA_BASE 0x40000000ull
30#define CONFIG_GUEST_RAM_BASE 0x42000000ull
31#define CONFIG_GUEST_RAM_SIZE 0x30000000ull
32#define CONFIG_GUEST_STACK_TOP (CONFIG_GUEST_IPA_BASE + 0x00100000ull)
33#define CONFIG_GUEST_ENTRY CONFIG_GUEST_IPA_BASE
34#define CONFIG_LINUX_IMAGE_LOAD_PA CONFIG_GUEST_RAM_BASE
35#define CONFIG_LINUX_IMAGE_MAX_SIZE CONFIG_GUEST_RAM_SIZE
36#define CONFIG_LINUX_INITRD_PA (CONFIG_GUEST_RAM_BASE + 0x04000000ull)
37#define CONFIG_LINUX_INITRD_IPA (CONFIG_GUEST_IPA_BASE + 0x04000000ull)
38#define CONFIG_LINUX_INITRD_MAX_SIZE 0x2be00000ull
39#ifndef CONFIG_LINUX_INITRD_SIZE
40#define CONFIG_LINUX_INITRD_SIZE 0ull
41#endif
42#define CONFIG_LINUX_DTB_PA (CONFIG_GUEST_RAM_BASE + 0x2fe00000ull)
43#define CONFIG_LINUX_DTB_IPA (CONFIG_GUEST_IPA_BASE + 0x2fe00000ull)
44#define CONFIG_LINUX_DTB_MAX_SIZE 0x00200000ull
45
46#ifndef CONFIG_BOOT_LINUX
47#define CONFIG_BOOT_LINUX 0
48#endif
49
50#ifndef CONFIG_MONITOR_MUTATION
51#define CONFIG_MONITOR_MUTATION 0
52#endif
53
54#define CONFIG_LOG_CAPACITY 256u
55#define CONFIG_POLICY_STRICT 1
56#define CONFIG_ENABLE_WFI_TRAPS 1
57#define CONFIG_ENABLE_SMC_TRAPS 1
58#define CONFIG_ENABLE_DEBUG_LOG 1
59#define CONFIG_VTIMER_IRQ 27u
60
61#endif