From ea86dc458806be45491b3acd788a6fb5420398ac Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
Date: Fri, 24 Feb 2012 11:07:30 -0500
Subject: [PATCH] install.sh: We're not installing kernels right now

---
 gnomeos/yocto/gnomeos-install.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gnomeos/yocto/gnomeos-install.sh b/gnomeos/yocto/gnomeos-install.sh
index 42825af2..bc10b800 100755
--- a/gnomeos/yocto/gnomeos-install.sh
+++ b/gnomeos/yocto/gnomeos-install.sh
@@ -71,7 +71,6 @@ if test -d /etc/grub.d; then
 else
     cat <<EOF
 GRUB 2 not detected; you'll need to edit e.g. /boot/grub/grub.conf manually
-Kernel has been installed as /boot/bzImage-gnomeos.bin
 EOF
 fi