AArch64 EL2 hypervisor for QEMU virt that boots at EL2
1#ifndef HV_QEMU_VIRT_H
2#define HV_QEMU_VIRT_H
3
4#include "hv/config.h"
5#include "hv/types.h"
6
7static inline bool qemu_virt_guest_layout_valid(void)
8{
9 return CONFIG_PLATFORM_QEMU_VIRT == 1 &&
10 CONFIG_GUEST_IPA_BASE == 0x40000000ull &&
11 CONFIG_GUEST_RAM_BASE == 0x42000000ull &&
12 CONFIG_GUEST_RAM_SIZE == 0x30000000ull &&
13 CONFIG_UART_BASE == 0x09000000ull &&
14 CONFIG_GICD_BASE == 0x08000000ull &&
15 CONFIG_GICR_BASE == 0x080A0000ull;
16}
17
18#endif