3 CONFIG_BSD_PROCESS_ACCT=y
4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_BLK_DEV_INITRD=y
7 # CONFIG_HOTPLUG is not set
10 # CONFIG_ARM_THUMB is not set
11 CONFIG_ZBOOT_ROM_TEXT=0x00010000
12 CONFIG_ZBOOT_ROM_BSS=0xf03e0000
14 CONFIG_CMDLINE="console=tty0 console=ttyLU1,115200 root=/dev/ram initrd=0xf1000000,0x005dac7b mem=32M"
17 # CONFIG_INPUT is not set
18 # CONFIG_SERIO_SERPORT is not set
19 # CONFIG_VT is not set
20 CONFIG_SERIAL_NONSTANDARD=y
23 # CONFIG_CRC32 is not set