This directory contains binaries that are not easy to compile.

RTOSDemo32.axf and RTOSDemo64.axf are created by checking out
https://github.com/FreeRTOS/FreeRTOS, following the instructions in
`FreeRTOS/Demo/RISC-V-spike-htif_GCC/README.md`, and building:
* `make XLEN=32 BASE_ADDRESS=0x10000000`
* `make XLEN=64 BASE_ADDRESS=0x1212340000`