threads_SRC += threads/palloc.c # Page allocator.
threads_SRC += threads/malloc.c # Subpage allocator.
threads_SRC += threads/start.S # Startup code.
+threads_SRC += threads/test.c # Test code.
# Device driver code.
devices_SRC = devices/timer.c # Timer device.