diff --git a/frontend/drivers/platform_null.c b/frontend/drivers/platform_null.c
index f8d051dad2..df7f5f5626 100644
--- a/frontend/drivers/platform_null.c
+++ b/frontend/drivers/platform_null.c
@@ -17,8 +17,6 @@
 #include "../frontend_driver.h"
 
 #include <stdint.h>
-#include <boolean.h>
-#include <stddef.h>
 #include <string.h>
 
 frontend_ctx_driver_t frontend_ctx_null = {