💻️ Android’s full desktop interface leaks
｢ Compared to tablets and phone-projected desktop mode, the status bar is taller and more optimized for large screens. We see the time (with seconds) in the top row followed by the date. On the right side, we see the Android 16 M3E battery icon, Wi-Fi, a notification bell icon, “EN” (presumably representing the set keyboard language), Gemini icon, and screen recorder pill. The recording interface resembles the mobile version ｣
｢ Ariel OS is an operating system for secure, memory-safe, low-power Internet of Things (IoT). It is based on Rust from the ground up and supports hardware based on 32-bit microcontroller architectures (Cortex-M, RISC-V, and Xtensa) ｣
jbz
and 1 other
boosted
🎉 ReactOS Celebrates 30 Years In Striving To Be An Open-Source Windows Implementation - Phoronix
🎉 ReactOS Celebrates 30 Years In Striving To Be An Open-Source Windows Implementation - Phoronix
🛸 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