| # Default base configuration file |
| |
| # Use a tickless kernel to minimize the number of timer interrupts |
| CONFIG_TICKLESS_KERNEL=y |
| CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 |
| |
| # Optimize for speed |
| CONFIG_SPEED_OPTIMIZATIONS=y |
| |
| # Disable time slicing |
| CONFIG_TIMESLICING=n |
| |
| # Disabling hardware stack protection can greatly |
| # improve system performance. |
| CONFIG_HW_STACK_PROTECTION=n |
| |
| # Picolibc is faster than Zephyr's minimal libc memcpy |
| CONFIG_PICOLIBC_SPEED_OPTIMIZATIONS=y |
| CONFIG_PICOLIBC_USE_MODULE=y |
| |
| # Disable Thread Local Storage for better context switching times |
| CONFIG_THREAD_LOCAL_STORAGE=n |
| |
| # Disable memory slab pointer validation |
| CONFIG_MEM_SLAB_POINTER_VALIDATE=n |
| |
| # Allow for the number of scheduling IPIs to be tracked |
| CONFIG_TRACE_SCHED_IPI=y |
| |
| # Enable smarter delivery of scheduling IPIs |
| CONFIG_IPI_OPTIMIZE=y |
