+boot.img: boot kernel/kernel.bin
+ cat boot kernel/kernel.bin > $@
+ truncate -s1440K $@
+
+boot: boot.s
+ $(AS) -f bin boot.s -o $@
+
+kernel/kernel.bin: kernel/entry.o kernel/kernel.o
+ $(LD) -o $@ -Ttext 0x1000 kernel/entry.o kernel/kernel.o --oformat=binary