I’ve implemented FreeRTOS demo for the spike RISC-V simulator: Add RISC-V demo for the spike simulator. by timsifive · Pull Request #532 · FreeRTOS/FreeRTOS · GitHub
What is the next step to get that merged? One automated step, CBMC Checks, seems to always be orange and I have no idea how to make it green.
(If this is the wrong place for this question, please direct me to the right place.)