Alexander Boettcher b349dd9c0a sel4: convert io memory on demand ... instead all during boot. On x86 and qemu this takes quite a while until the system is booted. Fixes #4913		2023-06-16 11:24:25 +02:00
..
board	board: Rename virt_qemu to virt_qemu_<arch>	2022-08-17 12:03:26 +02:00
etc	base: remove SPEC variables of boards (fix #3971)	2021-01-25 13:58:09 +01:00
include	base-hw: virt: implement support for SVM	2023-05-30 12:13:34 +02:00
lib/mk	base-hw: virt: implement support for SVM	2023-05-30 12:13:34 +02:00
recipes	depot: update recipe hashes	2023-05-30 12:13:34 +02:00
run	Move cpu_quota.run from os to base-hw repository	2023-05-30 12:03:26 +02:00
src	sel4: convert io memory on demand	2023-06-16 11:24:25 +02:00