On Wed, 31 Jan 2024 13:57:16 -0800 (PST), Giovanni Lostumbo wrote:
> On Wednesday, January 31, 2024 at 9:12:28 AM UTC-6, George Musk wrote:
>> Will there be a RISC-V port of MINIX 3?
>
> There may already be some projects:
>
https://groups.google.com/g/minix3/c/hcPVNNrEWnM
Somehow didn't look there, I thought that group would be as outdated as
the website.
Well seems it hasn't progressed much since 2021.
> I also found a RISC-V OS that is an educational OS in 2000 lines of code
Yeah, saw that too.