devices_SRC += devices/vga.c # Video device.
devices_SRC += devices/serial.c # Serial port device.
devices_SRC += devices/disk.c # IDE disk device.
+devices_SRC += devices/partition.c # Disk partitions.
devices_SRC += devices/intq.c # Interrupt queue.
# Library code shared between kernel and user programs.
all: os.dsk
-threads/intr-stubs.S: threads/intr-stubs.pl threads/loader.h
- $< > $@.tmp && mv $@.tmp $@
-
threads/kernel.lds.s: CPPFLAGS += -P
threads/kernel.lds.s: threads/kernel.lds.S threads/loader.h
clean:
$(RM) -f $(OBJECTS) $(DEPENDS)
- $(RM) -f threads/intr-stubs.S threads/loader.o
+ $(RM) -f threads/loader.o
$(RM) -f kernel.o kernel.lds.s
$(RM) -f kernel.bin loader.bin