Farooq | فاروق [Master Patata]May 11, 2025

What #unixlike operating systems do you know which are easy to port? Something like #NetBSD. I wonder if there is anything written in #commonlisp or #rust

There are some options but I'm not sure how much easy are they to port. I've heard many positive comments about bare metal development using Rust. I wonder how is common lisp in this regard.

I have extensive programming experience but not on bare metal or kernel programming.

Boosts for wider participation in the discussion are welcome.

#foss #baremetal #baremetalprogramming #programming #baremetaldevelopment #cs #operatingsystem #operatingsystems #operatingsystemprogramming #bsd #linux #kernel #kernelprogramming

Show threadFarooq | فاروق [Master Patata]

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

May 13, 2025 at 5:48amWeb
Show threadFarooq | فاروق [Master Patata]May 13, 2025
So just checking their Zulip, it's a dead and inactive space. Looking for other channels...
Show threadGwMBhqhwMay 15, 2025
@farooqkz
For bare-metal I can recommend embassy: https://embassy.dev/
Embassy

The next-generation framework for embedded applications. Write safe, correct and energy-efficient embedded code faster, using the Rust programming language, its async facilities, and the Embassy libraries.

Embassy
Show threadFarooq | فاروق [Master Patata]May 15, 2025

@GwMBhqhw

Embassy is a framework/RTOS. And it's for MCUs. I'm looking for a kernel to work on for APs.

Show threadGwMBhqhwMay 15, 2025
@farooqkz
Ah, I see. I thought you also meant this with bare-metal.