34bfa2f7ba
Adds a platform specific implementation for tickless schedular operation. This includes: - Tickless operation for vexriscv cores. - Tickless operation for vexriscv-smp cores. - Ticked operation for vexriscv-smp cores. Ticked operation for vexriscv core has been refactored. Additional default configuration added to demonstrate operation. Both tickless and ticked options use Litex timer0 for scheduling intervals. This is significantly faster than interfaceing with the risc-v mtimer through opensbi.
70 lines
2.1 KiB
Plaintext
70 lines
2.1 KiB
Plaintext
#
|
|
# 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_DISABLE_PTHREAD is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_BLOCKS is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_ENVIRON is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_MEMDUMP is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_MEMINFO is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_MOUNT is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_MOUNTS is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_PROCESS is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_UPTIME is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_USAGE is not set
|
|
# CONFIG_FS_PROCFS_EXCLUDE_VERSION is not set
|
|
# CONFIG_NSH_DISABLEBG is not set
|
|
# CONFIG_NSH_DISABLE_LOSMART is not set
|
|
# CONFIG_NSH_DISABLE_UNAME is not set
|
|
# CONFIG_STANDARD_SERIAL is not set
|
|
CONFIG_ARCH="risc-v"
|
|
CONFIG_ARCH_BOARD="arty_a7"
|
|
CONFIG_ARCH_BOARD_ARTY_A7=y
|
|
CONFIG_ARCH_CHIP="litex"
|
|
CONFIG_ARCH_CHIP_LITEX=y
|
|
CONFIG_ARCH_INTERRUPTSTACK=8192
|
|
CONFIG_ARCH_RISCV=y
|
|
CONFIG_ARCH_STACKDUMP=y
|
|
CONFIG_BOARD_LOOPSPERMSEC=10000
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_DEBUG_FULLOPT=y
|
|
CONFIG_DEBUG_SYMBOLS=y
|
|
CONFIG_DEFAULT_SMALL=y
|
|
CONFIG_DEV_ZERO=y
|
|
CONFIG_EXAMPLES_HELLO=y
|
|
CONFIG_EXAMPLES_HELLO_STACKSIZE=8192
|
|
CONFIG_FS_PROCFS=y
|
|
CONFIG_IDLETHREAD_STACKSIZE=8192
|
|
CONFIG_INIT_ENTRYPOINT="nsh_main"
|
|
CONFIG_INIT_STACKSIZE=8192
|
|
CONFIG_INTELHEX_BINARY=y
|
|
CONFIG_LIBC_PERROR_STDOUT=y
|
|
CONFIG_LIBC_STRERROR=y
|
|
CONFIG_NFILE_DESCRIPTORS_PER_BLOCK=6
|
|
CONFIG_NSH_ARCHINIT=y
|
|
CONFIG_NSH_BUILTIN_APPS=y
|
|
CONFIG_NSH_FILEIOSIZE=64
|
|
CONFIG_NSH_STRERROR=y
|
|
CONFIG_POSIX_SPAWN_DEFAULT_STACKSIZE=8192
|
|
CONFIG_PTHREAD_STACK_DEFAULT=8192
|
|
CONFIG_RAM_SIZE=268435456
|
|
CONFIG_RAM_START=0x40000000
|
|
CONFIG_RAW_BINARY=y
|
|
CONFIG_RR_INTERVAL=200
|
|
CONFIG_SCHED_TICKLESS=y
|
|
CONFIG_SCHED_WAITPID=y
|
|
CONFIG_STACK_COLORATION=y
|
|
CONFIG_START_DAY=20
|
|
CONFIG_START_MONTH=3
|
|
CONFIG_START_YEAR=2020
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_TASK_NAME_SIZE=12
|
|
CONFIG_TESTING_GETPRIME=y
|
|
CONFIG_UART0_RXBUFSIZE=128
|
|
CONFIG_UART0_SERIAL_CONSOLE=y
|
|
CONFIG_UART0_TXBUFSIZE=128
|
|
CONFIG_USEC_PER_TICK=1
|