FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
Why do you think that https://github.com/mit-pdos/xv6-riscv is a good alternative to FreeRTOS-Kernel
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
Why do you think that https://github.com/mit-pdos/xv6-riscv is a good alternative to FreeRTOS-Kernel