Skip to content

Add support for qemu virtual machines using KVM #423

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
IkerGalardi wants to merge 4 commits into
base: main
Choose a base branch
from
+78 −66
Open

Add support for qemu virtual machines using KVM #423

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
c7b0f0a
Add qemu_virt_aarch64_kvm platform
IkerGalardi Feb 26, 2026
7d50887
Correctly default intialize supported boards
IkerGalardi Feb 26, 2026
2f2bf55
tool: remove arm hypervisor mode requirement
IkerGalardi Feb 26, 2026
4ca50bd
loader: only configure interrupt groups on hypervisor mode
IkerGalardi Mar 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
115 changes: 65 additions & 50 deletions build_sdk.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -180,172 +180,187 @@ class KernelPath:
gcc_cpu="cortex-a35",
loader_link_address=0x90000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "tqma8xqp1gb",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="zcu102",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x40000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "zynqmp",
"KernelARMPlatform": "zcu102",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="maaxboard",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x50000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "maaxboard",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="imx8mm_evk",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x41000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "imx8mm-evk",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="imx8mp_evk",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x41000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "imx8mp-evk",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="imx8mq_evk",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x41000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "imx8mq-evk",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="imx8mp_iotgate",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x50000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "imx8mp-evk",
"KernelCustomDTS": Path("custom_dts/iot-gate.dts"),
"KernelCustomDTSOverlay": KernelPath(path="src/plat/imx8m-evk/overlay-imx8mp-evk.dts"),
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="odroidc2",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x20000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "odroidc2",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="odroidc4",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a55",
loader_link_address=0x20000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "odroidc4",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="ultra96v2",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x40000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "zynqmp",
"KernelARMPlatform": "ultra96v2",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="qemu_virt_aarch64",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x70000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "qemu-arm-virt",
"QEMU_MEMORY": "2048",
# There is no peripheral timer, so we use the ARM
# architectural timer
"KernelArmExportPTMRUser": True,
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="qemu_virt_aarch64_kvm",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a53",
loader_link_address=0x70000000,
smp_cores=4,
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "qemu-arm-virt",
"KernelArmHypervisorSupport": False,
"QEMU_MEMORY": "2048",
# There is no peripheral timer, so we use the ARM
# architectural timer
"KernelArmExportPTMRUser": True,
},
),
BoardInfo(
name="qemu_virt_riscv64",
arch=KernelArch.RISCV64,
gcc_cpu=None,
loader_link_address=0x90000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_RISCV64 | {
"KernelPlatform": "qemu-riscv-virt",
"QEMU_MEMORY": "2048",
} | DEFAULT_KERNEL_OPTIONS_RISCV64,
},
),
BoardInfo(
name="rpi4b_1gb",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a72",
loader_link_address=0x10000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "bcm2711",
"RPI4_MEMORY": 1024,
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="rpi4b_2gb",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a72",
loader_link_address=0x10000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "bcm2711",
"RPI4_MEMORY": 2048,
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="rpi4b_4gb",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a72",
loader_link_address=0x10000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "bcm2711",
"RPI4_MEMORY": 4096,
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="rpi4b_8gb",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a72",
loader_link_address=0x10000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "bcm2711",
"RPI4_MEMORY": 8192,
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="rockpro64",
Expand All @@ -355,88 +370,88 @@ class KernelPath:
# ROCKPRO64 has 4 Cortex-A53 cores and 2 Cortex-A72 cores,
# we always run on the Cortex-A53s.
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "rockpro64",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="rock3b",
arch=KernelArch.AARCH64,
gcc_cpu="cortex-a55",
loader_link_address=0x30000000,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_AARCH64 | {
"KernelPlatform": "rk3568",
} | DEFAULT_KERNEL_OPTIONS_AARCH64,
},
),
BoardInfo(
name="hifive_p550",
arch=KernelArch.RISCV64,
gcc_cpu=None,
loader_link_address=0x90000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_RISCV64 | {
"KernelPlatform": "hifive-p550",
} | DEFAULT_KERNEL_OPTIONS_RISCV64,
},
),
BoardInfo(
name="star64",
arch=KernelArch.RISCV64,
gcc_cpu=None,
loader_link_address=0x60000000,
smp_cores=4,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_RISCV64 | {
"KernelPlatform": "star64",
} | DEFAULT_KERNEL_OPTIONS_RISCV64,
},
),
BoardInfo(
name="ariane",
arch=KernelArch.RISCV64,
gcc_cpu=None,
loader_link_address=0x90000000,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_RISCV64 | {
"KernelPlatform": "ariane",
} | DEFAULT_KERNEL_OPTIONS_RISCV64,
},
),
BoardInfo(
name="cheshire",
arch=KernelArch.RISCV64,
gcc_cpu=None,
loader_link_address=0x90000000,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_RISCV64 | {
"KernelPlatform": "cheshire",
} | DEFAULT_KERNEL_OPTIONS_RISCV64,
},
),
BoardInfo(
name="serengeti",
arch=KernelArch.RISCV64,
gcc_cpu=None,
loader_link_address=0x90000000,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_RISCV64 | {
"KernelPlatform": "cheshire",
} | DEFAULT_KERNEL_OPTIONS_RISCV64,
},
),
BoardInfo(
name="x86_64_generic",
arch=KernelArch.X86_64,
gcc_cpu="generic",
loader_link_address=None,
smp_cores=DEFAULT_X86_NUM_CPUS,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_X86_64 | {
"KernelSupportPCID": False,
"KernelVTX": False,
} | DEFAULT_KERNEL_OPTIONS_X86_64,
},
),
BoardInfo(
name="x86_64_generic_vtx",
arch=KernelArch.X86_64,
gcc_cpu="generic",
loader_link_address=None,
smp_cores=DEFAULT_X86_NUM_CPUS,
kernel_options={
kernel_options=DEFAULT_KERNEL_OPTIONS_X86_64 | {
"KernelSupportPCID": False,
"KernelVTX": True,
"KernelX86_64VTX64BitGuests": True,
} | DEFAULT_KERNEL_OPTIONS_X86_64,
},
),
)

Expand Down
22 changes: 13 additions & 9 deletions loader/src/aarch64/init.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,19 @@
#if defined(CONFIG_PLAT_ZYNQMP_ZCU102) || defined(CONFIG_PLAT_ZYNQMP_ULTRA96V2) || defined(CONFIG_PLAT_QEMU_ARM_VIRT)
static void configure_gicv2(void)
{
/* For any interrupts to go through the interrupt priority mask
* must be set appropriately. Only interrupts with priorities less
* than this mask will interrupt the CPU.
*
* seL4 (effectively) sets interrupts to priority 0x80, so it is
* important to make sure this is greater than 0x80.
*/
*((volatile uint32_t *)(GICC_BASE + 0x4)) = 0xf0;

if (current_el() == EL1) {
return;
}

/* The ZCU102 start in EL3, and then we drop to EL1(NS).
*
* The GICv2 supports security extensions (as does the CPU).
Expand Down Expand Up @@ -55,15 +68,6 @@ static void configure_gicv2(void)
for (uint32_t i = 0; i <= it_lines_number; i++) {
*((volatile uint32_t *)(GICD_BASE + 0x80 + (i * 4))) = 0xFFFFFFFF;
}

/* For any interrupts to go through the interrupt priority mask
* must be set appropriately. Only interrupts with priorities less
* than this mask will interrupt the CPU.
*
* seL4 (effectively) sets interrupts to priority 0x80, so it is
* important to make sure this is greater than 0x80.
*/
*((volatile uint32_t *)(GICC_BASE + 0x4)) = 0xf0;
}
#endif

Expand Down
7 changes: 0 additions & 7 deletions tool/microkit/src/main.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -401,13 +401,6 @@ fn main() -> Result<(), String> {
std::process::exit(1);
}

if let Arch::Aarch64 = kernel_config.arch {
assert!(
kernel_config.hypervisor,
"Microkit tool expects a kernel with hypervisor mode enabled on AArch64."
);
}

assert!(
kernel_config.word_size == 64,
"Microkit tool has various assumptions about the word size being 64-bits."
Expand Down