#define CONFIG_BOOT_PARAMS	0x0	/* FIXME */
#define CONFIG_ARCH_NUMBER	0	/* FIXME */
#define CFG_MALLOC_LEN             (4096 << 10)
#define CONFIG_STACKSIZE   (120<<10)      /* stack size                 */
