1
<!-- Kernel Debugging -->
2
<option name="CONFIG_DEBUG" type="boolean" value="true"/>
3
<option name="CONFIG_DEBUG_BOOT" type="boolean" value="false"/>
4
<option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
5
<option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
6
<option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
7
<option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
8
<option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
9
<option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
10
<option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
11
<option name="CONFIG_SERIAL_PORT" type="integer" value="0"/>
12
<option name="CONFIG_SERIAL_SPEED" type="integer" value="115200"/>
13
<option name="CONFIG_DEBUG_CONSOLE_VGA" type="boolean" value="true"/>
14
<option name="CONFIG_DEBUG_OFMEM" type="boolean" value="false"/>
17
<!-- Module Configuration -->
18
<option name="CONFIG_CMDLINE" type="boolean" value="true"/>
19
<option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
20
<option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
21
<option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
22
<option name="CONFIG_OFMEM" type="boolean" value="true"/>
23
<option name="CONFIG_OFMEM_MALLOC_ALIGN" type="integer" value="4"/>
24
<option name="CONFIG_VGA_WIDTH" type="integer" value="800"/>
25
<option name="CONFIG_VGA_HEIGHT" type="integer" value="600"/>
26
<option name="CONFIG_VGA_DEPTH" type="integer" value="8"/>
27
<option name="CONFIG_LOADER_AOUT" type="boolean" value="false"/>
28
<option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="true"/>
29
<option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
30
<option name="CONFIG_LOADER_FCODE" type="boolean" value="false"/>
31
<option name="CONFIG_LOADER_FORTH" type="boolean" value="false"/>
32
<option name="CONFIG_LOADER_XCOFF" type="boolean" value="true"/>
34
<!-- Filesystem Configuration -->
35
<option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
36
<option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
37
<option name="CONFIG_MAC_PARTS" type="boolean" value="true"/>
38
<option name="CONFIG_DEBUG_MAC_PARTS" type="boolean" value="false"/>
39
<option name="CONFIG_PC_PARTS" type="boolean" value="true"/>
40
<option name="CONFIG_HFS" type="boolean" value="true"/>
41
<option name="CONFIG_HFSP" type="boolean" value="true"/>
42
<option name="CONFIG_ISO9660" type="boolean" value="true"/>
43
<option name="CONFIG_EXT2" type="boolean" value="true"/>
44
<option name="CONFIG_GRUBFS" type="boolean" value="true"/>
45
<option name="CONFIG_FSYS_EXT2FS" type="boolean" value="false"/>
46
<option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
47
<option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
48
<option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
49
<option name="CONFIG_FSYS_REISERFS" type="boolean" value="false"/>
50
<option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
51
<option name="CONFIG_FSYS_UFS" type="boolean" value="false"/>
52
<option name="CONFIG_FSYS_ISO9660" type="boolean" value="false"/>
53
<option name="CONFIG_FSYS_FFS" type="boolean" value="false"/>
54
<option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
55
<option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
56
<option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
57
<option name="CONFIG_DEBUG_FS" type="boolean" value="false"/>
59
<!-- Miscellaneous -->
60
<option name="CONFIG_LINUXBIOS" type="boolean" value="false"/>
61
<option name="CONFIG_RTAS" type="boolean" value="false"/>
64
<option name="CONFIG_DRIVER_PCI" type="boolean" value="true"/>
65
<option name="CONFIG_DEBUG_PCI" type="boolean" value="false"/>
66
<option name="CONFIG_DRIVER_IDE" type="boolean" value="true"/>
67
<option name="CONFIG_IDE_NUM_CHANNELS" type="integer" value="2"/>
68
<option name="CONFIG_IDE_FIRST_UNIT" type="integer" value="1"/>
69
<option name="CONFIG_IDE_DEV_NAME" type="string" value="ata-%d"/>
70
<option name="CONFIG_IDE_DEV_TYPE" type="string" value="ata"/>
71
<option name="CONFIG_DEBUG_IDE" type="boolean" value="false"/>
72
<option name="CONFIG_DRIVER_ADB" type="boolean" value="true"/>
73
<option name="CONFIG_DRIVER_VGA" type="boolean" value="true"/>
74
<option name="CONFIG_DRIVER_MACIO" type="boolean" value="true"/>
75
<option name="CONFIG_DRIVER_ESCC" type="boolean" value="true"/>
76
<option name="CONFIG_DRIVER_FW_CFG" type="boolean" value="true"/>
77
<option name="CONFIG_FW_CFG_ADDR" type="integer" value="0xf0000510"/>