Rust-Written Redox OS Makes USB 3.x Improvements, Async NVMe Driver Support | Phoronix

https://www.phoronix.com/news/Redox-OS-March-2025

If you like #OSDev then you should check out this resource on #GitHub that I've contributed to in the past:

https://github.com/dreamportdev/Osdev-Notes

You can find a PDF copy of the latest changes (as of this post) here:
https://github.com/dreamportdev/Osdev-Notes/releases/download/latest-master/osdev-notes-2025-03-06.pdf

You should also star the repo and follow the creators, lots of good work from them and they deserve it.

Wanix :: Virtual environment kit for the local-first web, inspired by Plan 9 https://lobste.rs/s/n1s9xa #osdev #wasm
https://wanix.sh/

The BeOS file system, an OS geek retrospective https://lobste.rs/s/gcq1i1 #historical #osdev
https://arstechnica.com/information-technology/2018/07/the-beos-filesystem/

PATH should be a system call

https://simonsafar.com/2025/path_as_system_call/

Discussions: https://discu.eu/q/https://simonsafar.com/2025/path_as_system_call/

PATH should be a system call https://lobste.rs/s/yo3kj5 #osdev
https://simonsafar.com/2025/path_as_system_call/

TacOS: UNIX-like OS from scratch that runs DOOM https://lobste.rs/s/perz9q #c #osdev
https://github.com/UnmappedStack/TacOS

Visopsys - Exploring Another Non-Linux OS! | Michael MJD

https://youtube.com/watch?v=5MZljgXW2WA

Virtual meetup in ~1hr! Catch me talking about #embedded and #osdev in #rust and ask as many questions as you can!!!

discord.gg/4aQvUe5J

I want to write a #ProgrammingLanguage… like a mixture of #C and #Rust like syntax. I call it Osmium, like the periodic table element. I’m developing on #Linux. This will be a #Hobby of mine, not anything serious, maybe never published to the net in the end. It could be aimed at enhancing #OSDev somehow???

Anyone got any ideas and resources they could share with me?

Please #BoostForVisibility so others can see this, thank you!

Reflections on Unikernels

https://dave.recoil.org/unikernels/

Discussions: https://discu.eu/q/https://dave.recoil.org/unikernels/

Friend of mine in the #Arikoto #OSDev #Discord server just asked me:

“CPU hotplugging support when?”

We don’t even have userspace yet nor does paging work properly.

WHAT DO YOU MEAN CPU HOTPLUGGING SUPPORT WHEN???

(btw, you should totally join the server: https://discord.gg/UczSZb7s7B)

Reflections on Unikernels https://lobste.rs/s/1ykhfa #devops #osdev
https://dave.recoil.org/unikernels/

AerynOS

https://aerynos.com/

Discussions: https://discu.eu/q/https://aerynos.com/

Isolated Execution Environment for eBPF https://lobste.rs/s/fah9zj #linux #osdev
https://ebpf.foundation/research-update-isolated-execution-environment-for-ebpf/

AerynOS https://lobste.rs/s/llywoj #linux #osdev
https://aerynos.com/

#Arikoto now has basic paging and virtual memory management along with a bunch of other changes, reaching over 4.3K lines of code!

Find it on #GitHub:
https://github.com/IAmTheNerdNextDoor/arikoto

Next step will be multitasking and external ramdisks for version 0.0.3!

...

Hopefully.

#Linux users: Have you tried and did you like using #nixos ?

I messed up the last poll so here it is again...

Which desktop operating system do you use? Pick all that you use REGULARLY.

Which desktop operating system do you use?

Edit: use the new poll! https://mastodon.social/@dylancode/114323916948583184