diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-12-13 22:18:48 +0000 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-12-13 22:23:14 +0000 |
commit | 34e0269745c16a8a70438dfb5a32931907e33161 (patch) | |
tree | d4d54b56e0b36903438158cd163c2e9e58ebf685 /resources | |
parent | dceca1731aa0c2e888eb06a66ade2e9901199df3 (diff) | |
download | librebootfr-34e0269745c16a8a70438dfb5a32931907e33161.tar.gz librebootfr-34e0269745c16a8a70438dfb5a32931907e33161.zip |
remove seabios (this time permanently)
Diffstat (limited to 'resources')
-rwxr-xr-x | resources/scripts/helpers/build/clean/seabios | 40 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/config/seabiosmodify | 38 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/config/seabiosupdate | 36 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/module/seabios | 49 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/release/src | 1 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub_helper | 4 | ||||
-rwxr-xr-x | resources/scripts/helpers/download/seabios | 59 | ||||
-rw-r--r-- | resources/seabios/config/config | 95 |
8 files changed, 0 insertions, 322 deletions
diff --git a/resources/scripts/helpers/build/clean/seabios b/resources/scripts/helpers/build/clean/seabios deleted file mode 100755 index 02c5baf8..00000000 --- a/resources/scripts/helpers/build/clean/seabios +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/bash - -# helper script: clean the dependencies that were built in seabios -# -# Copyright (C) 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the current working directory is the root -# of libreboot_src or libreboot git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -# clean bucts -# -------------------------------------------------------- - -printf "Cleaning the previous build of seabios\n" - -cd seabios/ -make distclean - -printf "\n\n" - -# done. go back to main directory. -cd ../ - -# ------------------- DONE ---------------------- diff --git a/resources/scripts/helpers/build/config/seabiosmodify b/resources/scripts/helpers/build/config/seabiosmodify deleted file mode 100755 index 750fcad6..00000000 --- a/resources/scripts/helpers/build/config/seabiosmodify +++ /dev/null @@ -1,38 +0,0 @@ -#!/bin/bash - -# -# helper script: update the seabios config -# -# Copyright (C) 2014, 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the working directory is the root -# of libreboot_src or git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -cd seabios/ - -if [ -f ../resources/seabios/config/config ]; then - cp ../resources/seabios/config/config .config -fi - -make menuconfig - -mv .config ../resources/seabios/config/config - -cd ../ diff --git a/resources/scripts/helpers/build/config/seabiosupdate b/resources/scripts/helpers/build/config/seabiosupdate deleted file mode 100755 index 160cb53e..00000000 --- a/resources/scripts/helpers/build/config/seabiosupdate +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/bash - -# -# helper script: update the seabios config -# -# Copyright (C) 2014, 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the working directory is the root -# of libreboot_src or git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -cd seabios/ - -if [ -f ../resources/seabios/config/config ]; then - cp ../resources/seabios/config/config .config - make oldconfig - mv .config ../resources/seabios/config/config -fi - -cd ../ diff --git a/resources/scripts/helpers/build/module/seabios b/resources/scripts/helpers/build/module/seabios deleted file mode 100755 index d869c03a..00000000 --- a/resources/scripts/helpers/build/module/seabios +++ /dev/null @@ -1,49 +0,0 @@ -#!/bin/bash - -# helper script: builds SeaBIOS source code -# -# Copyright (C) 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the working directory is the root -# of libreboot_src or git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -# Build SeaBIOS -# --------------------------------------------------------------------- - -printf "Building SeaBIOS\n" - -cd seabios/ - -cp ../resources/seabios/config/config .config - -# clean it first -[[ -f Makefile ]] && make clean - -# build SeaBIOS -make - -printf "\n\n" - -rm -f .config - -# done. go back to main directory -cd ../ - -# ------------------- DONE ---------------------- diff --git a/resources/scripts/helpers/build/release/src b/resources/scripts/helpers/build/release/src index b2e893a4..f2f5b31b 100755 --- a/resources/scripts/helpers/build/release/src +++ b/resources/scripts/helpers/build/release/src @@ -82,7 +82,6 @@ rm -Rf "${distdir}/bucts/".git* rm -Rf "${distdir}/flashrom/".git* rm -Rf "${distdir}/grub/".git* rm -Rf "${distdir}/depthcharge/".git* -rm -Rf "${distdir}/seabios/".git* # Delete useless files. rm -Rf "${distdir}/TODO/" diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper index 6dee9a08..530449e6 100755 --- a/resources/scripts/helpers/build/roms/withgrub_helper +++ b/resources/scripts/helpers/build/roms/withgrub_helper @@ -101,10 +101,6 @@ do fi fi - # Add SeaBIOS to the image - ./util/cbfstool/cbfstool "${boardtarget}_${romtype}.rom" add -f ../seabios/out/bios.bin.elf -n bios.bin.elf -t raw - ./util/cbfstool/cbfstool "${boardtarget}_${romtype}.rom" add -f ../seabios/out/vgabios.bin -n vgaroms/vgabios.bin -t raw - # Path to coreinfo payload coreinfo=payloads/coreinfo/build/coreinfo.elf diff --git a/resources/scripts/helpers/download/seabios b/resources/scripts/helpers/download/seabios deleted file mode 100755 index 1fc6ca46..00000000 --- a/resources/scripts/helpers/download/seabios +++ /dev/null @@ -1,59 +0,0 @@ -#!/bin/bash - -# helper script: Downloads SeaBIOS and patches it. -# -# Copyright (C) 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the working directory is the -# root of libreboot_src or libreboot git. - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -# Get SeaBIOS, revert to commit last used and apply patches. - -# Remove the old version that may still exist -# ------------------------------------------------------------------------------ - -printf "Downloading SeaBIOS\n" - -rm -rf seabios - -# Get latest SeaBIOS -# ------------------------------------------------------------------------------ - -# download it using git -git clone git://git.seabios.org/seabios.git seabios - -# modifications are required -cd seabios/ - -# Reset to the last commit that was tested -# ------------------------------------------------------------------------------ - -git reset --hard 948f3c9b5f74f265bd171ee367a632a8f7c81f68 - -# Apply patches -# ------------------------------------------------------------------------------ - -# no patches are used in this revision of libreboot - -cd ../ -printf "\n\n" - -# ------------------- DONE ---------------------- - diff --git a/resources/seabios/config/config b/resources/seabios/config/config deleted file mode 100644 index 48f3bf13..00000000 --- a/resources/seabios/config/config +++ /dev/null @@ -1,95 +0,0 @@ -# -# Automatically generated file; DO NOT EDIT. -# SeaBIOS Configuration -# - -# -# General Features -# -CONFIG_COREBOOT=y -# CONFIG_QEMU is not set -# CONFIG_CSM is not set -# CONFIG_QEMU_HARDWARE is not set -CONFIG_THREADS=y -CONFIG_RELOCATE_INIT=y -CONFIG_BOOTMENU=y -CONFIG_BOOTSPLASH=y -CONFIG_BOOTORDER=y -CONFIG_COREBOOT_FLASH=y -CONFIG_LZMA=y -CONFIG_CBFS_LOCATION=0 -CONFIG_MULTIBOOT=y -CONFIG_ENTRY_EXTRASTACK=y -CONFIG_MALLOC_UPPERMEMORY=y -CONFIG_ROM_SIZE=0 - -# -# Hardware support -# -CONFIG_ATA=y -# CONFIG_ATA_DMA is not set -# CONFIG_ATA_PIO32 is not set -CONFIG_AHCI=y -CONFIG_SDCARD=y -CONFIG_MEGASAS=y -CONFIG_FLOPPY=y -CONFIG_FLASH_FLOPPY=y -CONFIG_PS2PORT=y -CONFIG_USB=y -CONFIG_USB_UHCI=y -CONFIG_USB_OHCI=y -CONFIG_USB_EHCI=y -CONFIG_USB_XHCI=y -CONFIG_USB_MSC=y -CONFIG_USB_UAS=y -CONFIG_USB_HUB=y -CONFIG_USB_KEYBOARD=y -CONFIG_USB_MOUSE=y -CONFIG_SERIAL=y -CONFIG_LPT=y -CONFIG_RTC_TIMER=y -CONFIG_HARDWARE_IRQ=y -CONFIG_PMTIMER=y -CONFIG_TSC_TIMER=y - -# -# BIOS interfaces -# -CONFIG_DRIVES=y -CONFIG_CDROM_BOOT=y -CONFIG_CDROM_EMU=y -CONFIG_PCIBIOS=y -CONFIG_APMBIOS=y -CONFIG_PNPBIOS=y -CONFIG_OPTIONROMS=y -CONFIG_PMM=y -CONFIG_BOOT=y -CONFIG_KEYBOARD=y -CONFIG_KBD_CALL_INT15_4F=y -CONFIG_MOUSE=y -CONFIG_S3_RESUME=y -CONFIG_VGAHOOKS=y -# CONFIG_DISABLE_A20 is not set -CONFIG_TCGBIOS=y - -# -# VGA ROM -# -# CONFIG_NO_VGABIOS is not set -# CONFIG_VGA_GEODEGX2 is not set -# CONFIG_VGA_GEODELX is not set -CONFIG_VGA_COREBOOT=y -CONFIG_BUILD_VGABIOS=y -CONFIG_VGA_EMULATE_TEXT=y -CONFIG_VGA_FIXUP_ASM=y -CONFIG_VGA_ALLOCATE_EXTRA_STACK=y -CONFIG_VGA_EXTRA_STACK_SIZE=512 -CONFIG_VGA_VBE=y - -# -# Debugging -# -CONFIG_DEBUG_LEVEL=1 -CONFIG_DEBUG_SERIAL=y -CONFIG_DEBUG_SERIAL_PORT=0x3f8 -CONFIG_DEBUG_COREBOOT=y |