Hardening a Real-Time Operating System for a Dependable RISC-V System-on-Chip | IEEE Conference Publication | IEEE Xplore