2 # Automatically generated make config: don't edit
4 # Thu Jul 9 21:17:36 2009
10 CONFIG_UI_KBD_LAYOUT="us"
11 CONFIG_UI_SHELL_INITCMD=""
12 CONFIG_UI_CONSOLELOG=32
13 # CONFIG_UI_CONSOLESERIAL is not set
19 # CONFIG_MEM_ZALLOC is not set
20 # CONFIG_MEM_DLALLOC is not set
25 CONFIG_HOSTNAME="zexos"
33 # CONFIG_COMPAT_QEMU is not set
40 CONFIG_DRV_RS232BAUDS=1200
46 # CONFIG_DRV_USB is not set
48 # CONFIG_DRV_RTL8029 is not set
52 CONFIG_DRV_VGA_RES="320x200"
57 # CONFIG_DRV_FAT16 is not set
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