From 3e59075d530ca94085395162cb2e03ef6ff3c089 Mon Sep 17 00:00:00 2001 From: Jacob Krall Date: Mon, 26 Oct 2015 00:54:30 -0400 Subject: [PATCH] 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`). --- _posts/2015-08-18-multiboot-kernel.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2015-08-18-multiboot-kernel.md b/_posts/2015-08-18-multiboot-kernel.md index b396face..310d8ddb 100644 --- a/_posts/2015-08-18-multiboot-kernel.md +++ b/_posts/2015-08-18-multiboot-kernel.md @@ -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