Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 0d107f313852cf9ca1abc289a98baf2c22f6c95c)
+++ kernel/Makefile	(revision 58a6d9978211abcec4de25c74bb5b77f680f2f32)
@@ -148,6 +148,7 @@
 	generic/src/cpu/cpu.c \
 	generic/src/ddi/ddi.c \
+	generic/src/ddi/irq.c \
+	generic/src/ddi/device.c \
 	generic/src/interrupt/interrupt.c \
-	generic/src/interrupt/irq.c \
 	generic/src/main/main.c \
 	generic/src/main/kinit.c \