👾 UNIX99, a UNIX-like OS for the TI-99/4A
https://forums.atariage.com/topic/380883-unix99-a-unix-like-os-for-the-ti-994a/
jbz
boosted
👾 SvarDOS, opensource DOS distro
｢ SvarDOS aims to collect available DOS software and make it easy to find and install applications using a network-enabled package manager (like apt-get, but for DOS and able to run on a 8086 PC) ｣
👾 SvarDOS, opensource DOS distro
｢ SvarDOS aims to collect available DOS software and make it easy to find and install applications using a network-enabled package manager (like apt-get, but for DOS and able to run on a 8086 PC) ｣
🛸 Introduction To Plan 9
｢ Plan 9 is a research operating system from the same group who created UNIX at Bell Labs Computing Sciences Research Center (CSRC). It emerged in the late 1980s, and its early development coincided with continuing development of the later versions of Research UNIX ｣
｢ Plan 9 can be seen as an attempt to push some of the same ideas that informed UNIX even further into the era of networking and graphics. Rob Pike has described Plan 9 as "an argument" for simplicity and clarity, while others have described it as "UNIX, only moreso." ｣
🛸 Introduction To Plan 9
｢ Plan 9 is a research operating system from the same group who created UNIX at Bell Labs Computing Sciences Research Center (CSRC). It emerged in the late 1980s, and its early development coincided with continuing development of the later versions of Research UNIX ｣
ajuvo ✔
boosted
Hiring: PhD Student / PostDoc in Systems Research
Join our team at TU Braunschweig to work on "Cumulus": OS/DBMS Co-Design for the Cloud. We are exploring Unikernels, novel OS abstractions, and Rust/C++ to eliminate overheads.
If you love low-level systems and compiler magic, this is for you!
📍 Braunschweig, Germany
💰 Full Position (TV-L E13)
Boosts appreciated! 🚀
https://www.ibr.cs.tu-bs.de/theses/vss/phd-vss-cumulus.html
#SystemsResearch #OSDev #RustLang #Cpp #PhDPosition #AcademicJobs #Germany #Unikernels
Hiring: PhD Student / PostDoc in Systems Research
Join our team at TU Braunschweig to work on "Cumulus": OS/DBMS Co-Design for the Cloud. We are exploring Unikernels, novel OS abstractions, and Rust/C++ to eliminate overheads.
If you love low-level systems and compiler magic, this is for you!
📍 Braunschweig, Germany
💰 Full Position (TV-L E13)
Boosts appreciated! 🚀
https://www.ibr.cs.tu-bs.de/theses/vss/phd-vss-cumulus.html
#SystemsResearch #OSDev #RustLang #Cpp #PhDPosition #AcademicJobs #Germany #Unikernels
Thompson says Plan 9 "the best operating system out there" but will "never make it, ever, ever"
Thompson says Plan 9 "the best operating system out there" but will "never make it, ever, ever"
🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
｢ LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separation of concerns and a focus on simplicity ｣
On recreating the lost SDK for a 42-year-old operating system: VisiCorp Visi On // nkali
🧵
New #Project with my friends!
https://krnldev.nerdnextdoor.net/
We are making our own #OSDev / #KernelDev #Wiki. (We're aware of osdev.org and osdev.wiki.)
The wiki source is on #Codeberg. We aim to be a modern and reliable source for AARCH64 and x86_64 OSDev, documenting kernels and how they work so others can learn from them and being a friendly newcomer place.
We may do other architectures including 32-bit too but our main focus are the ones we picked.
alcinnz
boosted
So far #osdev is seeming somewhat less fraught on RISC-V than x86, though admittedly I haven't really done anything yet.
So far #osdev is seeming somewhat less fraught on RISC-V than x86, though admittedly I haven't really done anything yet.
Michael Dexter
boosted
If you are using #DTrace on #FreeBSD, then I've got good news for you.
I've added a new manual to FreeBSD. It's called d(7) and it is a short reference of the #D scripting language. Currently, it covers only a subset of all variables and functions, but we'll add more iteratively.
Here are some previews for you:
HTML: https://people.freebsd.org/~0mp/d.7.html
MDOC (view with man(1)): https://people.freebsd.org/~0mp/d.7
Have fun tracing your systems!
If you are using #DTrace on #FreeBSD, then I've got good news for you.
I've added a new manual to FreeBSD. It's called d(7) and it is a short reference of the #D scripting language. Currently, it covers only a subset of all variables and functions, but we'll add more iteratively.
Here are some previews for you:
HTML: https://people.freebsd.org/~0mp/d.7.html
MDOC (view with man(1)): https://people.freebsd.org/~0mp/d.7
Have fun tracing your systems!
k23 (the Wasm OS) just got a shiny new async executor! But we need your help:
The executor is likely full of concurrency bugs, deadlocks and worse.
So if you want to help out the project an absolute ton head over here and help get kasync tested:
https://github.com/JonasKruckenberg/k23/issues/464
Wanix :: Virtual environment kit for the local-first web, inspired by Plan 9 https://lobste.rs/s/n1s9xa #osdev #wasm
https://wanix.sh/
Super excited to present my OS research at #wasmio25 in just 2 days!
For two years I’ve been working on a massively concurrent, highly reliable operating system ( using #wasm written from scratch in #rust ) for the 21st century!
stop by it will be great!
https://2025.wasm.io/sessions/smarter-operating-systems-will-use-wasm-the-coming-os-revolution/
