So I'm thinking about #Asterinas which is a kernel written in #Rust and has #Linux compatible ABI. Having Linux compatibility is a great deal as you get most of the support for Linux for free.
I've messaged on their Zulip asking if Milk V Duo could be a good option for porting. I wonder if they've got an active and vibrant community. I haven't received a reply yet.
There is also #Redox but I don't like licensing my code under MIT. And it's an entire OS and not just a kernel.
If you know a community about OS/kernel development and bare metal development as well, I would appreciate an invite.
#os #osdev #milkv #milkvduo #milkvduos #osdevelopment #kernel #kerneldevelopment #programming