From 3d0957b1345fb4951c0a9dcde5a487f7f6f66534 Mon Sep 17 00:00:00 2001 From: Chris Guikema Date: Tue, 14 Nov 2023 16:42:53 -0500 Subject: [PATCH] x86, minimal_64: use hpet Signed-off-by: Chris Guikema --- apps/x86/minimal_64/app_settings.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/apps/x86/minimal_64/app_settings.cmake b/apps/x86/minimal_64/app_settings.cmake index 562dc923..8a92dc2e 100644 --- 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)