2 # Automatically generated make config: don't edit
4 # Sun May 24 12:34:50 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
32 # CONFIG_COMPAT_QEMU is not set
39 CONFIG_DRV_RS232BAUDS=1200
45 # CONFIG_DRV_USB is not set
47 # CONFIG_DRV_RTL8029 is not set
51 CONFIG_DRV_VGA_RES="320x200"
56 # CONFIG_DRV_FAT16 is not set