From a9446fa1e438cd529a7b242425bc6d07c8a55bfe Mon Sep 17 00:00:00 2001
From: Disassembler <disassembler@dasm.cz>
Date: Mon, 9 Jul 2018 16:17:58 +0200
Subject: [PATCH] Reflect that kernel is no longer hardened in extlinux.conf

---
 basic/boot/extlinux.conf | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/basic/boot/extlinux.conf b/basic/boot/extlinux.conf
index 5b1e17f..5ef5a9e 100644
--- a/basic/boot/extlinux.conf
+++ b/basic/boot/extlinux.conf
@@ -4,6 +4,6 @@ ALLOWOPTIONS 0
 NOESCAPE 1
 DISPLAY spotter.txt
 LABEL vm
-  LINUX vmlinuz-virthardened
-  INITRD initramfs-virthardened
-  APPEND root=/dev/vg0/root modules=sd-mod,usb-storage,ext4 pax_nouderef quiet rootfstype=ext4 cryptroot=/dev/sda2 cryptdm=system
+  LINUX vmlinuz-virt
+  INITRD initramfs-virt
+  APPEND root=/dev/vg0/root modules=sd-mod,usb-storage,ext4 quiet rootfstype=ext4 cryptroot=/dev/sda2 cryptdm=system