init: emulate the hpet

This allows VMs to use the HPET for higher-precision timing. Signed-off-by: Chris Guikema <[email protected]>
seL4 · Oct 30, 2023 · 62e865c · 62e865c
1 parent 1c7d86a
commit 62e865c
Show file tree

Hide file tree

Showing 6 changed files with 829 additions and 1 deletion.
diff --git a/camkes_vm_helpers.cmake b/camkes_vm_helpers.cmake
@@ -39,6 +39,7 @@ function(DeclareCAmkESVM init_component)
         sel4allocman
         sel4vm
         sel4vmmplatsupport
+        sel4vmmplatsupport_Config
         sel4_autoconf
         camkes_vmm_Config
         virtqueue