AArch64 EL2 hypervisor for QEMU virt that boots at EL2
Use QEMU virt platform assumptions as explicit invariants
author
vm.fail
date
(May 22, 2026, 4:34 PM UTC)
commit
f74abf85
f74abf8568ce461047744d27b8edd4f29aedf956
parent
7bda35e6
7bda35e6f87d154b764522dd66a78dccc061dcb0
vm.fail
date
(May 22, 2026, 4:34 PM UTC)
commit
f74abf85
f74abf8568ce461047744d27b8edd4f29aedf956
parent
7bda35e6
7bda35e6f87d154b764522dd66a78dccc061dcb0
+15
+12
core/main.c
+12
core/main.c
···
26
26
return &g_platform_info;
27
27
}
28
28
29
+
bool platform_selftest(void)
30
+
{
31
+
return CONFIG_PLATFORM_QEMU_VIRT == 1 &&
32
+
CONFIG_UART_BASE == 0x09000000ull &&
33
+
CONFIG_GICD_BASE == 0x08000000ull &&
34
+
CONFIG_GICR_BASE == 0x080A0000ull &&
35
+
CONFIG_GUEST_IPA_BASE == 0x40000000ull &&
36
+
CONFIG_GUEST_RAM_BASE == 0x42000000ull &&
37
+
CONFIG_GUEST_RAM_SIZE == 0x30000000ull &&
38
+
CONFIG_LINUX_DTB_PA == 0x71e00000ull;
39
+
}
40
+
29
41
static void print_banner(void)
30
42
{
31
43
uart_puts("\n");
+2
core/selftest.c
+2
core/selftest.c
···
5
5
#include "hv/log.h"
6
6
#include "hv/panic.h"
7
7
#include "hv/policy.h"
8
+
#include "hv/platform.h"
8
9
#include "hv/selftest.h"
9
10
#include "hv/stage2.h"
10
11
#include "hv/sysreg.h"
···
25
26
require(el2_mmu_selftest(), "selftest el2 mmu plan");
26
27
require(CONFIG_GUEST_RAM_SIZE != 0u && hv_is_aligned_u64(CONFIG_GUEST_RAM_BASE, CONFIG_PAGE_SIZE),
27
28
"selftest guest memory bounds");
29
+
require(platform_selftest(), "selftest qemu virt invariants");
28
30
require(policy_selftest(), "selftest policy table");
29
31
require(sysreg_selftest(), "selftest sysreg decoder");
30
32
require(vcpu_frame_selftest(), "selftest vcpu frame serialisation");