Leveraging RISC-V to build an open-source (hardware) OS framework for reconfigurable IoT devices - Silva, Miguel Ângelo Fernandes (2021)