This is a brief update about RTEMS port progress to RISC-V.
RTEMS port for RISC-V architecture (currently riscv32) runs Hello World and Ticker (with sim timer), on both Spike simulator and seL4 microkernel (two cores). The github repo of the port is here .
There are two BSPs currently:
1) riscv_generic: This BSP is intended to run in Machine mode, and has been tested on Spike.
To run it configure and build RTEMS with:
$ ../rtems/configure --target=riscv32-rtems4.12 --disable-posix --disable-networking --disable-itron --enable-rtemsbsp=riscv_generic
Command to run on Spike:
$ spike --isa=RV32 riscv32-rtems4.11/c/riscv_generic/testsuites/samples/ticker/ticker.exe
2) riscv_seL4: This BSP assumes it runs with support of seL4 microkernel, and it runs in Supervisor mode (on another core). seL4 application would allocate and map memory for it from its untyped memory (userspace), before off-loading it to another core.
To run it with seL4, you need to get seL4-rtems project first, configure it, but before building seL4 two shell variables have to be exported so that seL4 can know about where/which RTEMS image to load.
$ export RTEMS_IMAGE="Absolute path to the RTEMS .exe image"
$ export RTEMS_IMG_NAME="Name of the RTEMS image you would use, i.e hello.exe, ticker.exe"
For how to build/run seL4-rtems project follow the exact same instructions here  with the only difference replacing:
repo init -u https://github.com/heshamelmatary/sel4riscv-manifest.git
repo init -u https://github.com/heshamelmatary/sel4riscv-rtems-manifest.git
Which fetches the seL4-rtems project.
And finally run both seL4 and RTEMS on Spike:
$ spike --isa=RV32 -p2 images/sos-image-riscv-spike