-lib_kernel_SRC += lib/kernel/list.c # Doubly-linked lists.
-lib_kernel_SRC += lib/kernel/bitmap.c # Bitmaps.
-lib_kernel_SRC += lib/kernel/hash.c # Hash tables.
-lib_kernel_SRC += lib/kernel/console.c # printf(), putchar().
+lib/kernel_SRC = lib/kernel/debug.c # Debug helpers.
+lib/kernel_SRC += lib/kernel/list.c # Doubly-linked lists.
+lib/kernel_SRC += lib/kernel/bitmap.c # Bitmaps.
+lib/kernel_SRC += lib/kernel/hash.c # Hash tables.
+lib/kernel_SRC += lib/kernel/console.c # printf(), putchar().