Explicitly rename copied kernel to kernel.bin

Otherwise your `grub.cfg` from earlier in the article will be out of date (we're producing `kernel-x86_64.bin`, but grub expects `kernel.bin`).
This commit is contained in:
Jacob Krall
2015-10-26 00:54:30 -04:00
committed by Philipp Oppermann
parent 0a165becfe
commit 3e59075d53

View File

@@ -267,7 +267,7 @@ iso: $(iso)
$(iso): $(kernel) $(grub_cfg)
@mkdir -p build/isofiles/boot/grub
@cp $(kernel) build/isofiles/boot/
@cp $(kernel) build/isofiles/boot/kernel.bin
@cp $(grub_cfg) build/isofiles/boot/grub
@grub-mkrescue -o $(iso) build/isofiles 2> /dev/null
@rm -r build/isofiles