devices_SRC += devices/disk.c # IDE disk device.
devices_SRC += devices/input.c # Serial and keyboard input.
devices_SRC += devices/intq.c # Interrupt queue.
+devices_SRC += devices/rtc.c # Real-time clock.
# Library code shared between kernel and user programs.
lib_SRC = lib/debug.c # Debug helpers.
rm -f threads/loader.o threads/kernel.lds.s threads/loader.d
rm -f kernel.o kernel.lds.s
rm -f kernel.bin loader.bin os.dsk
+ rm -f bochsout.txt bochsrc.txt
+ rm -f results grade
Makefile: $(SRCDIR)/Makefile.build
cp $< $@