From 5e5374cd7d840e90950efa66498837746bb0ff48 Mon Sep 17 00:00:00 2001
From: Philipp Oppermann <dev@phil-opp.com>
Date: Mon, 26 Oct 2015 16:54:45 +0100
Subject: [PATCH] Update grub.cfg to use renamed kernel file

Renaming occurred in 37b576e to be in line with the blog posts.
---
 src/arch/x86_64/grub.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/x86_64/grub.cfg b/src/arch/x86_64/grub.cfg
index 70df685c..9713ba02 100644
--- a/src/arch/x86_64/grub.cfg
+++ b/src/arch/x86_64/grub.cfg
@@ -16,6 +16,6 @@ set timeout=0
 set default=0
 
 menuentry "my os" {
-    multiboot2 /boot/kernel-x86_64.bin
+    multiboot2 /boot/kernel.bin
     boot
 }