5 ms·
> I ported the HelenOS kernel to RV64 in 2016, but I've never properly finished the user space support. I hope this board will be a good motivation for me to fi
by intc 4y ago
> I ported the HelenOS kernel to RV64 in 2016, but I've never properly finished the user space support. I hope this board will be a good motivation for me to finally push the entire OS to the same level as x86-64
https://twitter.com/mdecky/status/1397892220225736711 https://twitter.com/mdecky/status/1397892220225736711