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)