Just a brief heads-up for anybody who might be interested. I have added official support for running Zephyr RTOS on the ARM Cortex-M1 DesignStart FPGA reference design:
https://docs.zephyrproject.org/latest/boards/arm/arty/doc/index.html