aboutsummaryrefslogtreecommitdiff
path: root/i18n/fr_FR/projects/seabios
diff options
context:
space:
mode:
Diffstat (limited to 'i18n/fr_FR/projects/seabios')
-rw-r--r--i18n/fr_FR/projects/seabios/configs/config97
-rw-r--r--i18n/fr_FR/projects/seabios/configs/install2
-rw-r--r--i18n/fr_FR/projects/seabios/configs/revision1
-rwxr-xr-xi18n/fr_FR/projects/seabios/seabios112
4 files changed, 0 insertions, 212 deletions
diff --git a/i18n/fr_FR/projects/seabios/configs/config b/i18n/fr_FR/projects/seabios/configs/config
deleted file mode 100644
index 5b2d44b6..00000000
--- a/i18n/fr_FR/projects/seabios/configs/config
+++ /dev/null
@@ -1,97 +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_NVME=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_SERCON=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 is not set
-# CONFIG_DEBUG_SERIAL_MMIO is not set
-CONFIG_DEBUG_COREBOOT=y
diff --git a/i18n/fr_FR/projects/seabios/configs/install b/i18n/fr_FR/projects/seabios/configs/install
deleted file mode 100644
index dd4c65c0..00000000
--- a/i18n/fr_FR/projects/seabios/configs/install
+++ /dev/null
@@ -1,2 +0,0 @@
-bios.bin.elf:bios.bin.elf
-vgabios.bin:vgabios.bin
diff --git a/i18n/fr_FR/projects/seabios/configs/revision b/i18n/fr_FR/projects/seabios/configs/revision
deleted file mode 100644
index 3680e6f8..00000000
--- a/i18n/fr_FR/projects/seabios/configs/revision
+++ /dev/null
@@ -1 +0,0 @@
-rel-1.12.1
diff --git a/i18n/fr_FR/projects/seabios/seabios b/i18n/fr_FR/projects/seabios/seabios
deleted file mode 100755
index 8f523f61..00000000
--- a/i18n/fr_FR/projects/seabios/seabios
+++ /dev/null
@@ -1,112 +0,0 @@
-#!/usr/bin/env bash
-
-# Copyright (C) 2016 Paul Kocialkowski <contact@paulk.fr>
-#
-# 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/>.
-
-arguments() {
- project_arguments_targets "$project" "$@"
-}
-
-usage() {
- project_usage_actions "$project"
- project_usage_arguments "$project" "$@"
-}
-
-download() {
- local repository="$project"
-
- project_download_git "$project" "$repository" 'https://git.seabios.org/seabios.git' "$@" || \
- project_download_git "$project" "$repository" 'https://review.coreboot.org/cgit/seabios.git/' "$@"
-}
-
-download_check() {
- local repository="$project"
-
- project_download_check_git "$project" "$repository" "$@"
-}
-
-extract() {
- project_extract "$project" "$@"
-}
-
-extract_check() {
- project_extract_check "$project" "$@"
-}
-
-update() {
- local repository="$project"
-
- project_update_git "$project" "$repository" "$@"
-}
-
-update_check() {
- local repository="$project"
-
- project_update_check_git "$project" "$repository" "$@"
-}
-
-build() {
- local target="$1"
- local repository="$project"
-
- project_sources_directory_missing_empty_error "$project" "$repository" "$@"
-
- if git_project_check "$repository"; then
- git_project_checkout "$project" "$repository" "$@"
- fi
-
- local project_path="$(project_path "$project")"
- local seabios_config_path="$(project_file_path "$project" "$CONFIGS" 'config' "$@")"
- local sources_path="$(project_sources_path "$project" "$repository" "$@")"
- local build_path="$(project_build_path "$project" "$@")"
-
- mkdir -p "$build_path"
- cp "$seabios_config_path" "$sources_path/.config"
-
- make -C "$sources_path" OUT="$build_path/" -j"$TASKS"
- make -C "$sources_path" distclean
-
- rm -f "$sources_path/.config"
-}
-
-build_check() {
- project_build_check "$project" "$@"
-}
-
-install() {
- project_install "$project" "$@"
-}
-
-install_check() {
- project_install_check "$project" "$@"
-}
-
-release() {
- local repository="$project"
-
- project_release_install_archive "$project" "$IMAGES" "$@"
- project_release_sources_git "$project" "$repository" "$@"
-}
-
-release_check() {
- local repository="$project"
-
- project_release_install_archive_check "$project" "$IMAGES" "$@"
- project_release_check_sources_git "$project" "$repository" "$@"
-}
-
-clean() {
- project_clean "$project" "$@"
-}