Add spike demo

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.)

Thank you,

Hi Tim - apologies for the delay here. We seem to get busier each passing week but are working towards streamlining these processes to make them more self service. Let me see where we are on this one and will report back.

1 Like

Looks like the CBMC pipeline was stuck. Its all done now - thanks!

1 Like