init: emulate the hpet (#113)

This allows VMs to use the HPET for higher-precision timing. Signed-off-by: Chris Guikema <[email protected]>
seL4 · Jan 27, 2024 · a5565bb · a5565bb
1 parent 8d7cd52
commit a5565bb
Show file tree

Hide file tree

Showing 7 changed files with 1,003 additions and 1 deletion.
diff --git a/LICENSES/LGPL-2.0-or-later.txt b/LICENSES/LGPL-2.0-or-later.txt
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