CONFIG_BOOTDELAY=10
CONFIG_SYS_PROMPT="xenguest# "
CONFIG_SYS_MAXARGS=64
+CONFIG_SYS_PBSIZE=1051
# CONFIG_CMD_BDI is not set
# CONFIG_CMD_BOOTD is not set
+CONFIG_SYS_BOOTM_LEN=0x800000
# CONFIG_CMD_ELF is not set
# CONFIG_CMD_GO is not set
# CONFIG_CMD_IMI is not set