Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 7e3826d9e2baf0dbb07a924b5e30821ee79b8f0d)
+++ kernel/Makefile	(revision e7c4115de0a5bf1dd17b4e273352cc4607d67e03)
@@ -209,5 +209,4 @@
 	generic/src/ddi/ddi.c \
 	generic/src/ddi/irq.c \
-	generic/src/ddi/device.c \
 	generic/src/debug/symtab.c \
 	generic/src/debug/stacktrace.c \