
#
# Manux Kernel Configuration
#

#
# Memory Configuration
#
CONFIG_AS_RAM_START=0x2000
CONFIG_COMMON_KERNEL_WORKSPACE=0x2000
CONFIG_COMMON_STACK_BASE=0x3000
CONFIG_COMMON_USER_STACK=0xFFFF
CONFIG_COMMON_REGISTER_SP=0xFFFF
CONFIG_COMMON_SHELL_AREA=0x3800
CONFIG_COMMON_USER_AREA=0x5000
CONFIG_COMMON_PIH_AREA=0x4F00

#
# Heap Configuration
#
# CONFIG_CC_ENABLE_HEAP is not set
# end of Heap Configuration
# end of Memory Configuration

#
# z88dk Options
#
CONFIG_CC_ENABLE_STDIO=y
CONFIG_CC_CRT_MODEL=1
CONFIG_COMMON_CRT_ENABLE_RST=0x96
# end of z88dk Options

#
# Kernel Options
#
CONFIG_COMMON_CRT_ORG_CODE=0x0000
CONFIG_COMMON_CRT_ORG_BSS=0x2A00
CONFIG_COMMON_CRT_ORG_DATA=-1
CONFIG_COMMON_CLK_FREQ=1000
# end of Kernel Options

#
# Drivers
#

#
# TTY
#
CONFIG_COMMON_STDIO_PORT=0x81
# end of TTY
# end of Drivers

#
# Target
#
CONFIG_COMMON_TARGET_BEMU80=y
# end of Target
# end of Manux Kernel Configuration
