2 # Automatically generated make config: don't edit
4 # Fri Feb 29 17:30:47 2008
10 CONFIG_UI_KBD_LAYOUT="us"
11 CONFIG_UI_SHELL_INITCMD=""
16 # CONFIG_MEM_PAGING is not set
17 # CONFIG_MEM_DLALLOC is not set
25 # CONFIG_DRV_PCNET32 is not set
27 CONFIG_DRV_VGA_RES="320x200"
29 # CONFIG_DRV_FAT16 is not set
30 # CONFIG_DRV_EXT2 is not set