diff --git a/include/os.h b/include/os.h
index f3af4f0e0e46e80ddd24efd98a5e5274b20a8204..c17a8a52ab3266c348568fb583005bcca6636bac 100644
--- a/include/os.h
+++ b/include/os.h
@@ -25,6 +25,9 @@
  * This provides access to useful OS routines from the sandbox architecture
  */
 
+#ifndef __OS_H__
+#define __OS_H__
+
 /**
  * Access to the OS read() system call
  *
@@ -98,3 +101,5 @@ void os_usleep(unsigned long usec);
  * \return A monotonic increasing time scaled in nano seconds
  */
 u64 os_get_nsec(void);
+
+#endif