Building FreeRTOS + POSIX with GCC for RISC V architecture

Sorry - never used Spike.