kernel/kernel.elf: kernel/kernel.bin
$(CC) -ffreestanding -nostdlib -o $@ -T kernel/linker.ld ${KERNEL_OBJ} -Wl,--oformat=elf32-i386
i686-elf-objcopy --only-keep-debug kernel/kernel.elf kernel/kernel.dbg
kernel/kernel.elf: kernel/kernel.bin
$(CC) -ffreestanding -nostdlib -o $@ -T kernel/linker.ld ${KERNEL_OBJ} -Wl,--oformat=elf32-i386
i686-elf-objcopy --only-keep-debug kernel/kernel.elf kernel/kernel.dbg