From 80b8ad3fceec108c7613f88a9e45a43f857c831c Mon Sep 17 00:00:00 2001
From: hippoz <10706925-hippoz@users.noreply.gitlab.com>
Date: Thu, 24 Feb 2022 21:58:36 +0200
Subject: [PATCH] add os name to grub config

---
 extra/grub.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra/grub.cfg b/extra/grub.cfg
index 24bd0b6..377d881 100644
--- a/extra/grub.cfg
+++ b/extra/grub.cfg
@@ -1,4 +1,4 @@
-menuentry "just some OS" {
+menuentry "hippOS" {
     multiboot /boot/kernel.bin
 }