From 4ebfb52f2418adf73405c90771c1b080644afed0 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Fri, 13 Feb 2015 23:38:47 +0000 Subject: Delete SeaBIOS from libreboot. It was virtually useless. Noone used it. SeaBIOS is easy enough to build from source if someone wants to use it from now on. --- resources/grub/config/seabios.cfg | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 resources/grub/config/seabios.cfg (limited to 'resources/grub/config/seabios.cfg') diff --git a/resources/grub/config/seabios.cfg b/resources/grub/config/seabios.cfg deleted file mode 100644 index 8c27be0c..00000000 --- a/resources/grub/config/seabios.cfg +++ /dev/null @@ -1,4 +0,0 @@ -menuentry 'Load SeaBIOS' { - set root='cbfsdisk' - chainloader /bios.bin.elf -} -- cgit v1.2.3-70-g09d2