From 37b576eb3cdcc498ba960588cf481af916126908 Mon Sep 17 00:00:00 2001
From: Jacob Krall <jacob@jkrall.net>
Date: Mon, 26 Oct 2015 15:45:46 +0100
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`).
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 2bcdf335..c1fa9749 100644
--- a/Makefile
+++ b/Makefile
@@ -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