init.o: init.c /home/awiggins/src/PLEB/Gauntlet/kernel/init.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/arm.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/types.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/macros.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/kernel.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/tcb.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/mmu.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/debug.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/Brutus/platform.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/SA1100/sa1100.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/Brutus/brutus.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/SA1100/sa1100_debug.h \
 /home/awiggins/src/PLEB/Gauntlet/kernel/Brutus/brutus_debug.h
