Porting of eChronos RTOS on RISC-V Architecture

Shubhendra Pal Singhal, M. Sridevi, N Sathya Narayanan +1

eChronos is a formally verified Real Time Operating System(RTOS) designed for embedded micro-controllers. eChronos was targeted for tightly constrained devices without memory manag…