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 15:45:46 +01:00
committed by Philipp Oppermann
parent 9ecaf0fe0c
commit 37b576eb3c

View File

@@ -39,7 +39,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