3 ms·
There are initial/working ports of RTEMS (as an RTOS) as well as seL4 microkernel. http://heshamelmatary.blogspot.co.uk/2015/12/rtems-port-for-risc-v-withwitho
by heshamelmatary 11y ago
There are initial/working ports of RTEMS (as an RTOS) as well as seL4 microkernel.
http://heshamelmatary.blogspot.co.uk/2015/12/rtems-port-for-risc-v-withwithout-sel4.html http://heshamelmatary.blogspot.co.uk/2015/12/rtems-port-for-...