From 56c9205fc8a42fd7bde43cf11c5f08f7caccc8f8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Sun, 9 Jan 2022 22:50:47 +0100
Subject: [PATCH] Fix missing header in debug.h

---
 src/kernel/include/debug.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/include/debug.h b/src/kernel/include/debug.h
index 73c2bf1..6f93ad7 100644
--- a/src/kernel/include/debug.h
+++ b/src/kernel/include/debug.h
@@ -1,4 +1,5 @@
 #pragma once
+#include <stddef.h>
 
 #ifndef NDEBUG
 #define debug(...) debug_printf(__VA_ARGS__)