Kent McLeod b3cc852425 aarch64,vspace: Remove page_directory captype ... The page_table cap is used in it's place. Signed-off-by: Kent McLeod <kent@kry10.com>		2023-08-10 08:20:22 +10:00
..
arm	aarch64,vspace: Remove page_directory captype	2023-08-10 08:20:22 +10:00
riscv	libsel4: use sel4/config.h instead of autoconf.h	2023-04-24 23:02:12 +10:00
x86	Add CONFIG_X86_64_VTX_64BIT_GUESTS guards	2023-06-06 13:29:34 +10:00