/* nothing yet */
#define CONFIG_ARCH_NUMBER 9999
#define CONFIG_BOOT_PARAMS 0xdeadbeef
#define CFG_MALLOC_LEN (4096 << 10)
#define CONFIG_STACKSIZE (120<<10) /* stack size */