config/examples/ppc64_config.xml

   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"/>
  15
  16
  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"/>
  33
  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"/>
  58
  59   <!-- Miscellaneous -->
  60   <option name="CONFIG_LINUXBIOS" type="boolean" value="false"/>
  61   <option name="CONFIG_RTAS" type="boolean" value="false"/>
  62
  63   <!-- Drivers -->
  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"/>