October 29, 2026 at 4:14 PM
How does www.github.com/obinexus/mmu...?
I break down the idea behind its nonpolar, nonlinear boot sequence — moving beyond a fixed linear startup path toward a structured ring-based boot architecture.
Read: dev.to/okpalan/mmuk...
#OperatingSystems #MMUKO #OBINexus #KernelDev
I break down the idea behind its nonpolar, nonlinear boot sequence — moving beyond a fixed linear startup path toward a structured ring-based boot architecture.
Read: dev.to/okpalan/mmuk...
#OperatingSystems #MMUKO #OBINexus #KernelDev
GitHub - obinexus/mmuko-boot: MMUKO Boot Sequence
MMUKO Boot Sequence . Contribute to obinexus/mmuko-boot development by creating an account on GitHub.
www.github.com
September 14, 2026 at 12:51 AM
How does www.github.com/obinexus/mmu...?
I break down the idea behind its nonpolar, nonlinear boot sequence — moving beyond a fixed linear startup path toward a structured ring-based boot architecture.
Read: dev.to/okpalan/mmuk...
#OperatingSystems #MMUKO #OBINexus #KernelDev
I break down the idea behind its nonpolar, nonlinear boot sequence — moving beyond a fixed linear startup path toward a structured ring-based boot architecture.
Read: dev.to/okpalan/mmuk...
#OperatingSystems #MMUKO #OBINexus #KernelDev
- porting devices to postmarketos is probably hard
- i've never done kerneldev
- kerneldev is hard
- i'm basically a junior
- i don't have an UART-to-USB adapter
- even if i had, i don't have the hardware that's needed to use it
all i've really solved is making the phone unlocked like a normal phone
- i've never done kerneldev
- kerneldev is hard
- i'm basically a junior
- i don't have an UART-to-USB adapter
- even if i had, i don't have the hardware that's needed to use it
all i've really solved is making the phone unlocked like a normal phone
September 3, 2026 at 10:47 PM
- porting devices to postmarketos is probably hard
- i've never done kerneldev
- kerneldev is hard
- i'm basically a junior
- i don't have an UART-to-USB adapter
- even if i had, i don't have the hardware that's needed to use it
all i've really solved is making the phone unlocked like a normal phone
- i've never done kerneldev
- kerneldev is hard
- i'm basically a junior
- i don't have an UART-to-USB adapter
- even if i had, i don't have the hardware that's needed to use it
all i've really solved is making the phone unlocked like a normal phone
this is like super underwhelming but idk, i can't:
- learn c (easy but...)
- learn kerneldev
- learn how to port a device to postmarketos
- reverse engineer as necessary
without:
- working UART
- working android install
- working storage
all at the same time.
- learn c (easy but...)
- learn kerneldev
- learn how to port a device to postmarketos
- reverse engineer as necessary
without:
- working UART
- working android install
- working storage
all at the same time.
September 3, 2026 at 10:47 PM
this is like super underwhelming but idk, i can't:
- learn c (easy but...)
- learn kerneldev
- learn how to port a device to postmarketos
- reverse engineer as necessary
without:
- working UART
- working android install
- working storage
all at the same time.
- learn c (easy but...)
- learn kerneldev
- learn how to port a device to postmarketos
- reverse engineer as necessary
without:
- working UART
- working android install
- working storage
all at the same time.
Write a kernel driver that doesn't crash the system: do you reach for a Safer C variant, Rust with the hrtos crate, or just trust your blind spots and stick with GCC? #kerneldev #embedded
August 5, 2026 at 9:00 PM
Write a kernel driver that doesn't crash the system: do you reach for a Safer C variant, Rust with the hrtos crate, or just trust your blind spots and stick with GCC? #kerneldev #embedded
📰 Linux Kernel Defence Map – Security Hardening Concepts
💬 Solid insights on low-level systems and vulnerabilities. A bit of skepticism on current strategies. 🤔 #KernelDev #Security
https://news.ycombinator.com/item?id=43597264
💬 Solid insights on low-level systems and vulnerabilities. A bit of skepticism on current strategies. 🤔 #KernelDev #Security
https://news.ycombinator.com/item?id=43597264
April 9, 2025 at 8:15 AM
📰 Linux Kernel Defence Map – Security Hardening Concepts
💬 Solid insights on low-level systems and vulnerabilities. A bit of skepticism on current strategies. 🤔 #KernelDev #Security
https://news.ycombinator.com/item?id=43597264
💬 Solid insights on low-level systems and vulnerabilities. A bit of skepticism on current strategies. 🤔 #KernelDev #Security
https://news.ycombinator.com/item?id=43597264
Will Rust replace C, or will they coexist? Many believe Rust's ability to significantly reduce critical bugs, especially memory errors, makes it an invaluable addition, suggesting a future where both play crucial roles. #KernelDev 6/6
December 11, 2025 at 2:00 AM
Will Rust replace C, or will they coexist? Many believe Rust's ability to significantly reduce critical bugs, especially memory errors, makes it an invaluable addition, suggesting a future where both play crucial roles. #KernelDev 6/6
Another key technical point is Moss's aim for Linux ABI compatibility. This goal is crucial for running existing software but introduces significant design and implementation complexities to ensure seamless integration. #KernelDev 4/6
November 29, 2025 at 8:00 AM
Another key technical point is Moss's aim for Linux ABI compatibility. This goal is crucial for running existing software but introduces significant design and implementation complexities to ensure seamless integration. #KernelDev 4/6
Building a new OS like Ironclad isn't just a technical feat; it's a battle for ecosystem adoption. The discussion reveals the tension between cutting-edge verification and the practical demands of widespread use and community contribution. #KernelDev 6/6
November 9, 2025 at 2:00 PM
Building a new OS like Ironclad isn't just a technical feat; it's a battle for ecosystem adoption. The discussion reveals the tension between cutting-edge verification and the practical demands of widespread use and community contribution. #KernelDev 6/6
OS development's complexity isn't just fundamentals; it's the endless details & driver support. Modern x86_64 hardware adds layers of challenges, making solo OS projects like Visopsys an even more impressive feat. #KernelDev 4/5
November 3, 2025 at 5:00 AM
OS development's complexity isn't just fundamentals; it's the endless details & driver support. Modern x86_64 hardware adds layers of challenges, making solo OS projects like Visopsys an even more impressive feat. #KernelDev 4/5
Rust's memory safety & concurrency features are a major draw for kernel development, reducing critical bugs. While integration into the Linux kernel faces challenges, the ongoing efforts show its potential for safer, more reliable systems. #KernelDev 3/6
October 17, 2025 at 7:00 PM
Rust's memory safety & concurrency features are a major draw for kernel development, reducing critical bugs. While integration into the Linux kernel faces challenges, the ongoing efforts show its potential for safer, more reliable systems. #KernelDev 3/6
Relying on DKMS for critical kernel modules like Bcachefs can introduce instability & maintenance headaches. It's a workaround, not a preferred solution for core components in a stable system. #KernelDev 4/6
October 2, 2025 at 4:00 AM
Relying on DKMS for critical kernel modules like Bcachefs can introduce instability & maintenance headaches. It's a workaround, not a preferred solution for core components in a stable system. #KernelDev 4/6
Kernel maintainers argue 32-bit support adds complexity, slowing dev for most users. Older kernels still exist, & alternatives like NetBSD might continue 32-bit. It's a trade-off for progress. #KernelDev 3/6
September 2, 2025 at 7:00 PM
Kernel maintainers argue 32-bit support adds complexity, slowing dev for most users. Older kernels still exist, & alternatives like NetBSD might continue 32-bit. It's a trade-off for progress. #KernelDev 3/6
Contributing to the Linux kernel is tough. The community prioritizes stability & long-term maintainability over rapid innovation. This process, while ensuring robustness, can be a barrier for new projects & bug fixes. #KernelDev 6/6
August 31, 2025 at 4:00 PM
Contributing to the Linux kernel is tough. The community prioritizes stability & long-term maintainability over rapid innovation. This process, while ensuring robustness, can be a barrier for new projects & bug fixes. #KernelDev 6/6
Technically, futexes often involve 32-bit limitations and heavily rely on atomic operations. Implementing complex synchronization primitives like condition variables and recursive locks atop futexes presents significant design challenges. #KernelDev 3/6
August 20, 2025 at 7:00 PM
Technically, futexes often involve 32-bit limitations and heavily rely on atomic operations. Implementing complex synchronization primitives like condition variables and recursive locks atop futexes presents significant design challenges. #KernelDev 3/6
The discussion dove into specific driver implementation choices, like using ioctls versus uring_cmd. These decisions are critical, balancing existing API compatibility with hardware constraints and performance needs in kernel development. #KernelDev 3/6
August 7, 2025 at 10:00 PM
The discussion dove into specific driver implementation choices, like using ioctls versus uring_cmd. These decisions are critical, balancing existing API compatibility with hardware constraints and performance needs in kernel development. #KernelDev 3/6
Overview: HN discussed Asterinas, a new Linux-compatible kernel written in Rust. It aims for memory safety and a smaller Trusted Computing Base (TCB). The community shared mixed views on its potential and challenges. #kerneldev 1/7
June 21, 2025 at 4:00 AM
Overview: HN discussed Asterinas, a new Linux-compatible kernel written in Rust. It aims for memory safety and a smaller Trusted Computing Base (TCB). The community shared mixed views on its potential and challenges. #kerneldev 1/7
3/14 C vs. Rust: @benwilber0 asks why UAF vulns still exist & suggests rewriting the kernel in Rust. 🦀🛡️ @eru proposes Agda for provably correct code (like seL4). The eternal debate continues! #MemorySafety #RustLang #KernelDev
May 2, 2025 at 6:32 AM
3/14 C vs. Rust: @benwilber0 asks why UAF vulns still exist & suggests rewriting the kernel in Rust. 🦀🛡️ @eru proposes Agda for provably correct code (like seL4). The eternal debate continues! #MemorySafety #RustLang #KernelDev
2/10 How does TacOS achieve process isolation? 🤔 UnmappedStack uses paging for virtual memory, giving each process its own address space. A round-robin scheduler switches tasks every 10ms! #KernelDev #ProcessIsolation #VirtualMemory
April 27, 2025 at 12:24 PM
2/10 How does TacOS achieve process isolation? 🤔 UnmappedStack uses paging for virtual memory, giving each process its own address space. A round-robin scheduler switches tasks every 10ms! #KernelDev #ProcessIsolation #VirtualMemory
Launching my blog with a walkthrough of virtme-ng: boot your kernel in QEMU, try cross-arch builds, run kselftests, and offload compilation to a remote machine. I'll be using virtme-ng on future posts.
koike.dev.br/posts/virtme...
#Linux #LinuxKernel #kerneldev #virtme #QEMU @igalia.com
koike.dev.br/posts/virtme...
#Linux #LinuxKernel #kerneldev #virtme #QEMU @igalia.com
Virtme-ng: first steps / cross-arch / kselftests / remote build
Virtme is a handy tool for Linux kernel development. If you are not familiar with it yet, check this post.
koike.dev.br
May 15, 2026 at 6:49 PM
Launching my blog with a walkthrough of virtme-ng: boot your kernel in QEMU, try cross-arch builds, run kselftests, and offload compilation to a remote machine. I'll be using virtme-ng on future posts.
koike.dev.br/posts/virtme...
#Linux #LinuxKernel #kerneldev #virtme #QEMU @igalia.com
koike.dev.br/posts/virtme...
#Linux #LinuxKernel #kerneldev #virtme #QEMU @igalia.com
🎙️ Next talk at Embedded Recipes 2026!
David Lechner is on stage with a cautionary deep dive: "Watch your scope! The hidden pitfalls of scoped_guard() and other cleanup.h macros".
#EmbeddedRecipes2026 #EmbeddedLinux #LinuxKernel #CleanCode #KernelDev #OpenSource #SystemsProgramming
David Lechner is on stage with a cautionary deep dive: "Watch your scope! The hidden pitfalls of scoped_guard() and other cleanup.h macros".
#EmbeddedRecipes2026 #EmbeddedLinux #LinuxKernel #CleanCode #KernelDev #OpenSource #SystemsProgramming
May 27, 2026 at 1:39 PM
🎙️ Next talk at Embedded Recipes 2026!
David Lechner is on stage with a cautionary deep dive: "Watch your scope! The hidden pitfalls of scoped_guard() and other cleanup.h macros".
#EmbeddedRecipes2026 #EmbeddedLinux #LinuxKernel #CleanCode #KernelDev #OpenSource #SystemsProgramming
David Lechner is on stage with a cautionary deep dive: "Watch your scope! The hidden pitfalls of scoped_guard() and other cleanup.h macros".
#EmbeddedRecipes2026 #EmbeddedLinux #LinuxKernel #CleanCode #KernelDev #OpenSource #SystemsProgramming
It’s a solid intro to low-level development. If that’s your thing, you don’t want to miss this talk.
Secure your spot here ➡️ eurorust.eu/talks/a-mini...
#RustLang #OSDev #QEMU #KernelDev
🧵2/3
Secure your spot here ➡️ eurorust.eu/talks/a-mini...
#RustLang #OSDev #QEMU #KernelDev
🧵2/3
EuroRust 2025 – October 9 & 10, Paris & online
EuroRust is a 2 day conference for the European Rust community – October 9 & 10, 2025 – in Paris & online
eurorust.eu
July 10, 2025 at 12:01 PM
It’s a solid intro to low-level development. If that’s your thing, you don’t want to miss this talk.
Secure your spot here ➡️ eurorust.eu/talks/a-mini...
#RustLang #OSDev #QEMU #KernelDev
🧵2/3
Secure your spot here ➡️ eurorust.eu/talks/a-mini...
#RustLang #OSDev #QEMU #KernelDev
🧵2/3
Linux 7.0 è stato confermato da Linus Torvalds: la nuova serie del kernel arriverà a metà aprile 2026, con il primo RC previsto per il 22 febbraio. #LinuxKernel #Linux70 #Torvalds #OpenSource #KernelDev
Linux 7.0 è ufficiale: Torvalds conferma la nuova serie del kernel attesa per metà aprile 2026
Linux 7.0 è stato confermato da Linus Torvalds: la nuova serie del kernel arriverà a metà aprile 2026, con il primo RC previsto per il 22 febbraio.
www.linuxeasy.org
February 9, 2026 at 11:39 AM
Linux 7.0 è stato confermato da Linus Torvalds: la nuova serie del kernel arriverà a metà aprile 2026, con il primo RC previsto per il 22 febbraio. #LinuxKernel #Linux70 #Torvalds #OpenSource #KernelDev