x86, minimal_64: use hpet

Signed-off-by: Chris Guikema <[email protected]>
Hensoldt-Cyber · Jan 27, 2024 · 3d0957b · 3d0957b
1 parent 2344ef6
commit 3d0957b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/apps/x86/minimal_64/app_settings.cmake b/apps/x86/minimal_64/app_settings.cmake
@@ -10,3 +10,4 @@ cmake_minimum_required(VERSION 3.8.2)
 set(KernelSel4Arch x86_64 CACHE STRING "" FORCE)
 set(KernelX86_64VTX64BitGuests ON CACHE BOOL "" FORCE)
 set(KernelMaxNumNodes 1 CACHE STRING "" FORCE)
+set(LibSel4VMMUseHPET ON CACHE BOOL "" FORCE)