🕵️♂️ Leak shows Google's new Aluminium OS in action for the first time
｢ Right at the top of the list of pre-installed applications is Google’s AI assistant Gemini, which will also play a central role in Aluminium OS. While Chromebooks are optimized for AI use, Aluminium OS is designed to run on more devices than merely Chromebooks, including tablets and smartwatches made by Google and other companies ｣
⭐ GNU Hurd Is "Almost There" With x86_64, SMP & ~75% Of Debian Packages Building - Phoronix
｢ Hurd for years has also lacked SMP support for modern multi-core systems but that too has been improving in recent times. Similarly, Hurd for the longest time was predominantly x86 32-bit only but the x86_64 port is now essentially complete and there is even eyes toward AArch64 support ｣
💻️ 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) ｣
🛸 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 ｣
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.
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.
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/
