I am a PhD student at UW-Madison advised by Prof. Mike Swift in the SCAIL research group. My research interests broadly include operating systems and computer architecture.
FeRTOS is a software library written in Rust that allows for tasks to be time sliced on ARM cortex-m and RISC-V processors. It was built as a way to learn Rust and was inspired by FreeRTOS. It is not very mature (or even an RTOS), but it is fun to hack on!