| 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` |