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/boot_modules/device.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/kapi/boot_modules/device.cpp')

diff --git a/kernel/kapi/boot_modules/device.cpp b/kernel/kapi/boot_modules/device.cpp
index b9262abf..d60cc406 100644
--- a/kernel/kapi/boot_modules/device.cpp
+++ b/kernel/kapi/boot_modules/device.cpp
@@ -1,6 +1,7 @@
 #include <kapi/boot_modules/device.hpp>
 
 #include <kapi/boot_modules/module.hpp>
+#include <kapi/capabilities/facet_id.hpp>
 #include <kapi/devices.hpp>
 
 #include <kstd/format.hpp>
-- 
cgit v1.2.3