diff --git a/hal/halx86/minihal/CMakeLists.txt b/hal/halx86/minihal/CMakeLists.txt
index 58e640180d8..de7f4de04ed 100644
--- a/hal/halx86/minihal/CMakeLists.txt
+++ b/hal/halx86/minihal/CMakeLists.txt
@@ -11,7 +11,6 @@ list(APPEND MINI_HAL_SOURCE
     ../generic/misc.c
     ../generic/nmi.c
     ../generic/spinlock.c
-    ../generic/sysinfo.c
     ../generic/timer.c
     ../generic/usage.c
     ../pic/pic.c