diff options
Diffstat (limited to 'extras/mini-os/include/fbfront.h')
-rw-r--r-- | extras/mini-os/include/fbfront.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/include/fbfront.h b/extras/mini-os/include/fbfront.h index 7e29b4c974..d4851a4e98 100644 --- a/extras/mini-os/include/fbfront.h +++ b/extras/mini-os/include/fbfront.h @@ -1,5 +1,6 @@ #include <xen/io/kbdif.h> #include <xen/io/fbif.h> +#include <mini-os/semaphore.h> #include <mini-os/wait.h> /* from <linux/input.h> */ |