From 36248bb63a396dfea762d5b2cf028bf4b7a2b62e Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Tue, 28 Jul 2026 13:09:08 +0200
Subject: x86_64: split lapic according to UDM

---
 kernel/kapi/devices/driver.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/kapi/devices/driver.cpp')

diff --git a/kernel/kapi/devices/driver.cpp b/kernel/kapi/devices/driver.cpp
index 55b7507b..ee16b4c2 100644
--- a/kernel/kapi/devices/driver.cpp
+++ b/kernel/kapi/devices/driver.cpp
@@ -1,3 +1,4 @@
+#include <kapi/capabilities/facet_id.hpp>
 #include <kapi/devices.hpp>
 
 #include <cstdint>
-- 
cgit v1.2.3