init: emulate the hpet

This allows VMs to use the HPET for higher-precision timing. Signed-off-by: Chris Guikema <[email protected]>
seL4 · Nov 13, 2023 · 9b6c695 · 9b6c695
1 parent 1c7d86a
commit 9b6c695
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