blob: 045693ea59845f066a59be9a9fbfcf4d1895ebe7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# The fastest SeaBIOS that can boot Linux using -kernel.
# NB: Since we are using -kernel, we don't need SeaBIOS itself
# to do any boot drive detection, boot ordering, etc.
# general stuff
CONFIG_QEMU=y
CONFIG_ROM_SIZE=0
CONFIG_WRITABLE_UPPERMEMORY=y
CONFIG_RELOCATE_INIT=n
# no input, no boot menu
CONFIG_MOUSE=n
CONFIG_KEYBOARD=n
CONFIG_BOOTMENU=n
CONFIG_BOOTSPLASH=n
CONFIG_BOOTORDER=n
# hardware support we don't need
CONFIG_LPT=n
CONFIG_SERIAL=n
CONFIG_USB=n
CONFIG_DRIVES=n
CONFIG_TCGBIOS=n
CONFIG_VGAHOOKS=n
# no logging
CONFIG_DEBUG_LEVEL=0
|
