1 <!-- kernel binaries (SPARC32) -->
2 <option name="CONFIG_IMAGE_ELF_MULTIBOOT" type="boolean" value="true"/>
4 <!-- Kernel Debugging -->
5 <option name="CONFIG_DEBUG" type="boolean" value="true"/>
6 <option name="CONFIG_DEBUG_BOOT" type="boolean" value="false"/>
7 <option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
8 <option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
9 <option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
10 <option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
11 <option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
12 <option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
13 <option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
14 <option name="CONFIG_DEBUG_CONSOLE_VIDEO" type="boolean" value="true"/>
15 <option name="CONFIG_DEBUG_ESP" type="boolean" value="false"/>
16 <option name="CONFIG_DEBUG_SUN_PARTS" type="boolean" value="false"/>
17 <option name="CONFIG_DEBUG_OBP" type="boolean" value="false"/>
18 <option name="CONFIG_DEBUG_IOMMU" type="boolean" value="false"/>
19 <option name="CONFIG_SERIAL_PORT" type="integer" value="0"/>
20 <option name="CONFIG_SERIAL_SPEED" type="integer" value="9600"/>
21 <option name="CONFIG_DEBUG_OFMEM" type="boolean" value="false"/>
24 <!-- Module Configuration -->
25 <option name="CONFIG_CMDLINE" type="boolean" value="true"/>
26 <option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
27 <option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
28 <option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
29 <option name="CONFIG_OFMEM" type="boolean" value="true"/>
30 <option name="CONFIG_OFMEM_MALLOC_ALIGN" type="integer" value="8"/>
31 <option name="CONFIG_LOADER_AOUT" type="boolean" value="true"/>
32 <option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="false"/>
33 <option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
34 <option name="CONFIG_LOADER_FCODE" type="boolean" value="false"/>
35 <option name="CONFIG_LOADER_FORTH" type="boolean" value="false"/>
36 <option name="CONFIG_LOADER_XCOFF" type="boolean" value="false"/>
38 <!-- Filesystem Configuration -->
39 <option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
40 <option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
41 <option name="CONFIG_PC_PARTS" type="boolean" value="false"/>
42 <option name="CONFIG_SUN_PARTS" type="boolean" value="true"/>
43 <option name="CONFIG_HFS" type="boolean" value="false"/>
44 <option name="CONFIG_HFSP" type="boolean" value="false"/>
45 <option name="CONFIG_GRUBFS" type="boolean" value="true"/>
46 <option name="CONFIG_FSYS_EXT2FS" type="boolean" value="true"/>
47 <option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
48 <option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
49 <option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
50 <option name="CONFIG_FSYS_REISERFS" type="boolean" value="false"/>
51 <option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
52 <option name="CONFIG_FSYS_UFS" type="boolean" value="true"/>
53 <option name="CONFIG_FSYS_ISO9660" type="boolean" value="true"/>
54 <option name="CONFIG_FSYS_FFS" type="boolean" value="true"/>
55 <option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
56 <option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
57 <option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
58 <option name="CONFIG_DEBUG_FS" type="boolean" value="false"/>
59 <option name="CONFIG_DEBUG_EXT2FS" type="boolean" value="false"/>
61 <!-- Miscellaneous -->
62 <option name="CONFIG_LINUXBIOS" type="boolean" value="false"/>
65 <option name="CONFIG_DRIVER_SBUS" type="boolean" value="true"/>
66 <option name="CONFIG_DRIVER_OBIO" type="boolean" value="true"/>
67 <option name="CONFIG_DRIVER_ESP" type="boolean" value="true"/>
68 <option name="CONFIG_DRIVER_FLOPPY" type="boolean" value="true"/>
69 <option name="CONFIG_DEBUG_FLOPPY" type="boolean" value="false"/>
70 <option name="CONFIG_DRIVER_ESCC" type="boolean" value="true"/>
71 <option name="CONFIG_DRIVER_ESCC_SUN" type="boolean" value="true"/>
72 <option name="CONFIG_DRIVER_FW_CFG" type="boolean" value="true"/>
73 <option name="CONFIG_FW_CFG_ADDR" type="integer" value="0xd00000510ULL"/>