diff --git a/os/src/server/rom_loopdev/main.cc b/os/src/server/rom_loopdev/main.cc
index 1a1f2e61a5..8feedb75bb 100644
--- a/os/src/server/rom_loopdev/main.cc
+++ b/os/src/server/rom_loopdev/main.cc
@@ -14,6 +14,7 @@
 #include <base/exception.h>
 #include <base/printf.h>
 #include <base/sleep.h>
+#include <base/semaphore.h>
 #include <base/allocator_avl.h>
 #include <root/component.h>
 #include <os/config.h>