init: emulate the hpet

This allows VMs to use the HPET for higher-precision timing. Signed-off-by: Chris Guikema <chris.guikema@dornerworks.com>
seL4 · Oct 27, 2023 · 4f2d180 · 4f2d180
1 parent c023ba1
commit 4f2d180
Show file tree

Hide file tree

Showing 6 changed files with 825 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