kernel/defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # ZeX/OS version: ..
   4 # Thu Jul  9 21:17:36 2009
   5 #
   6
   7 #
   8 # User interface
   9 #
  10 CONFIG_UI_KBD_LAYOUT="us"
  11 CONFIG_UI_SHELL_INITCMD=""
  12 CONFIG_UI_CONSOLELOG=32
  13 # CONFIG_UI_CONSOLESERIAL is not set
  14
  15 #
  16 # Memory management
  17 #
  18 CONFIG_MEM_PAGING=y
  19 # CONFIG_MEM_ZALLOC is not set
  20 # CONFIG_MEM_DLALLOC is not set
  21
  22 #
  23 # Networking
  24 #
  25 CONFIG_HOSTNAME="zexos"
  26 CONFIG_PROTO_IPV4=y
  27 CONFIG_PROTO_IPV6=y
  28 CONFIG_PROTO_TUN6=y
  29
  30 #
  31 # Compatibility
  32 #
  33 # CONFIG_COMPAT_QEMU is not set
  34
  35 #
  36 # Device drivers
  37 #
  38 CONFIG_DRV_KEYBOARD=y
  39 CONFIG_DRV_RS232=y
  40 CONFIG_DRV_RS232BAUDS=1200
  41 CONFIG_DRV_COMMOUSE=y
  42 CONFIG_DRV_PS2=y
  43 CONFIG_DRV_PS2MOUSE=y
  44 CONFIG_DRV_SPEAKER=y
  45 CONFIG_DRV_PCI=y
  46 # CONFIG_DRV_USB is not set
  47 CONFIG_DRV_PCNET32=y
  48 # CONFIG_DRV_RTL8029 is not set
  49 CONFIG_DRV_RTL8139=y
  50 CONFIG_DRV_RTL8169=y
  51 CONFIG_DRV_VGA=y
  52 CONFIG_DRV_VGA_RES="320x200"
  53 CONFIG_DRV_VESA=y
  54 CONFIG_DRV_GMM=y
  55 CONFIG_DRV_ATA=y
  56 CONFIG_DRV_FAT12=y
  57 # CONFIG_DRV_FAT16 is not set
  58 CONFIG_DRV_EXT2=y
  59 CONFIG_DRV_ZEXFS=y
  60 CONFIG_DRV_ZNFS=y
  61 CONFIG_DRV_ISOFS=y
  62 CONFIG_DRV_FLOPPY=y
  63 CONFIG_DRV_ARM_BOARD=y
  64 CONFIG_DRV_ARM_BOARD_INTCP=y
  65 # CONFIG_DRV_ARM_BOARD_INTCP_PL110 is not set
  66 # CONFIG_DRV_ARM_BOARD_VERPB is not set