From 2638b8c27adfa5bb9efceb3f94ba7e28eb4393f2 Mon Sep 17 00:00:00 2001
From: Max Wash <mbswash@gmail.com>
Date: Mon, 8 May 2023 18:18:59 +0100
Subject: [PATCH] x86_64: initialise device subsystem during boot

---
 arch/x86_64/init.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arch/x86_64/init.c b/arch/x86_64/init.c
index 6d15ce8..d6c3ba0 100644
--- a/arch/x86_64/init.c
+++ b/arch/x86_64/init.c
@@ -1,4 +1,5 @@
 #include <socks/pmap.h>
+#include <socks/device.h>
 #include <socks/clock.h>
 #include <socks/types.h>
 #include <socks/object.h>
@@ -80,6 +81,7 @@ int ml_init(uintptr_t arg)
 	object_bootstrap();
 	sched_init();
 
+	device_init();
 	acpi_init();
 
 	ml_int_enable();