diff --git a/src/mainboard/system76/galp5/mainboard.c b/src/mainboard/system76/galp5/mainboard.c
index 61c3ed06b1..78d1c0f3d9 100644
--- a/src/mainboard/system76/galp5/mainboard.c
+++ b/src/mainboard/system76/galp5/mainboard.c
@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <device/device.h>
 #include "gpio.h"
 
 static void mainboard_init(void *chip_info) {