1234567891011121314151617181920212223242526272829303132333435363738394041 |
- #
- # This file is autogenerated: PLEASE DO NOT EDIT IT.
- #
- # You can use "make menuconfig" to make any modifications to the installed .config file.
- # You can then do "make savedefconfig" to generate a new defconfig file that includes your
- # modifications.
- #
- CONFIG_ARCH_BOARD_Z16F2800100ZCOG=y
- CONFIG_ARCH_BOARD="z16f2800100zcog"
- CONFIG_ARCH_CHIP="z16f2811"
- CONFIG_ARCH_CHIP_Z16F=y
- CONFIG_ARCH_CHIP_Z16F2811=y
- CONFIG_ARCH_Z16=y
- CONFIG_ARCH="z16"
- CONFIG_BOARD_LOOPSPERMSEC=1250
- CONFIG_DEV_LOWCONSOLE=y
- CONFIG_ENDIAN_BIG=y
- CONFIG_HOST_WINDOWS=y
- CONFIG_IDLETHREAD_STACKSIZE=4096
- CONFIG_MAX_TASKS=16
- CONFIG_MAX_WDOGPARMS=2
- CONFIG_NFILE_DESCRIPTORS=8
- CONFIG_NFILE_STREAMS=8
- CONFIG_PREALLOC_MQ_MSGS=4
- CONFIG_PREALLOC_TIMERS=4
- CONFIG_PREALLOC_WDOGS=4
- CONFIG_PTHREAD_STACK_DEFAULT=4096
- CONFIG_RAM_SIZE=65536
- CONFIG_RR_INTERVAL=200
- CONFIG_SDCLONE_DISABLE=y
- CONFIG_START_DAY=29
- CONFIG_START_MONTH=11
- CONFIG_START_YEAR=2012
- CONFIG_TASK_NAME_SIZE=0
- CONFIG_TESTING_OSTEST=y
- CONFIG_UART0_BAUD=57600
- CONFIG_UART0_SERIAL_CONSOLE=y
- CONFIG_UART1_BAUD=57600
- CONFIG_USER_ENTRYPOINT="ostest_main"
- CONFIG_USERMAIN_STACKSIZE=4096
- CONFIG_WDOG_INTRESERVE=0
|