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

Haiku Activity & Contract Report, March 2025 via @rjzak https://lobste.rs/s/nvlicb #osdev
https://www.haiku-os.org/blog/waddlesplash/2025-04-10-haiku_activity_contract_report_march_2025/

Why is Snapshot Isolation not enough? https://lobste.rs/s/9s6mep #databases #osdev
http://concurrencyfreaks.blogspot.com/2023/12/why-is-snapshot-isolation-not-enough.html

barrelfish https://lobste.rs/s/qpdvuh #osdev
https://github.com/BarrelfishOS/barrelfish

hell yeeeaahhh k23 finally has working host functions!!!!!!!

this means we can finally execute useful #wasm including running the test suites!

FreeDOS 1.4 released via @lproven https://lobste.rs/s/fwg7us #osdev #retrocomputing
https://freedos.org/download/announce.html

This Month in Redox - March 2025 https://lobste.rs/s/qxssg8 #osdev #rust
https://www.redox-os.org/news/this-month-250331/

GoboLinux 017.01: the most experimental Linux's first new release in about 5Y via @lproven https://lobste.rs/s/lpd2wj #linux #osdev
https://gobolinux.org/release_notes_017.01.html

From Ironclad Operating system Developer:

"Since we are talking about the US...

This 14 at 11 am PST Ironclad is having an online presentation at UC Berkeley's IEEE branch (the home of the BSD family of OSes) talking a bit about Ironclad as a project and how formal verification can help operating system development.

Ill share here (whenever I have it) a jitsy link for joining the presentation for those interested"

Even Gplv3 licensed project but interesting one for everyone interested in #osdev
#RunBSD

FreeDOS: History, Legacy, and a Valuable Resource for Old Machines https://lobste.rs/s/apmwct #historical #osdev #retrocomputing
https://machaddr.substack.com/p/freedos-history-legacy-and-a-valuable

Interrupt Handling and Stack Switching in x86-64 Architecture https://lobste.rs/s/ieu1gj #hardware #osdev
https://theokwebb.github.io/posts/interrupt-handling-and-stack-switching/

Tailscale Enterprise Plan 9 Support https://lobste.rs/s/fwybvc #networking #osdev #satire
https://tailscale.com/blog/tailscale-enterprise-plan-9-support

How Big Is OpenVMS? https://lobste.rs/s/gf5fvj #c #osdev
https://vmssoftware.com/resources/blog/2025-03-31-how-big-is-vms/?_hsmi=354547244

Excited to be talking about #embedded #rust and #osdev at the virtual Rust & C++ Dragons meetup!

Come say hi it will be a chill event!

https://www.meetup.com/rust-and-c-plus-plus-in-cardiff/events/307036053/

Nice:

“The Little Book About OS Development”, Erik Helin & Adam Renberg (https://littleosbook.github.io/).

Via HN: https://news.ycombinator.com/item?id=43440473

On Lobsters: https://lobste.rs/s/u71ra1/little_book_about_os_development

Anyone got an idea how I can access kernelspace of reality? I'm experimenting with the manipulation of user objects, like translation a human object into a dragon one. But some stupid security rules don't allow a user program to modify other processes. Is there a module system? How can I get the code into kernelspace?