summaryrefslogtreecommitdiff
path: root/common/keyboard_8042.c
diff options
context:
space:
mode:
Diffstat (limited to 'common/keyboard_8042.c')
-rw-r--r--common/keyboard_8042.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/common/keyboard_8042.c b/common/keyboard_8042.c
index aebbf38e87..b1282ced91 100644
--- a/common/keyboard_8042.c
+++ b/common/keyboard_8042.c
@@ -6,6 +6,7 @@
*/
#include "button.h"
+#include "builtin/assert.h"
#include "chipset.h"
#include "common.h"
#include "console.h"