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
Other targets: Android kernels for mobile research, kernels with full eBPF support for advanced tracing, and vendor-patched kernels when testing firmware/driver bugs. Always follow legal & ethical rules — lab environment, consent, and backups. #InfoSec #KernelDev
October 24, 2025 at 10:51 AM
Other targets: Android kernels for mobile research, kernels with full eBPF support for advanced tracing, and vendor-patched kernels when testing firmware/driver bugs. Always follow legal & ethical rules — lab environment, consent, and backups. #InfoSec #KernelDev
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
Progetti didattici sullo sviluppo low-level non sono comuni. Questo è sicuramente uno dei miei preferiti:
#kerneldev #systemprogramming #hacking
operating-system-in-1000-lines.vercel.app/en/
#kerneldev #systemprogramming #hacking
operating-system-in-1000-lines.vercel.app/en/
Operating System in 1,000 Lines | OS in 1,000 Lines
Write your first operating system from scratch, in 1K LoC.
operating-system-in-1000-lines.vercel.app
October 13, 2025 at 7:47 PM
Progetti didattici sullo sviluppo low-level non sono comuni. Questo è sicuramente uno dei miei preferiti:
#kerneldev #systemprogramming #hacking
operating-system-in-1000-lines.vercel.app/en/
#kerneldev #systemprogramming #hacking
operating-system-in-1000-lines.vercel.app/en/
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
🛠️ Exciting news for kernel developers! New tools "wprobes" & KStackWatch are changing debugging. Wprobes tracks memory, KStackWatch boosts stack detection. Let's tackle kernel complexities! 🚀 https://ow.ly/jPmU50X35sL #KernelDev #DebuggingTools
New kernel tools: wprobes, KStackWatch, and KFuzzTest
The kernel runs in a special environment that makes it difficult to use many of the development [...]
ow.ly
September 27, 2025 at 7:45 AM
🛠️ Exciting news for kernel developers! New tools "wprobes" & KStackWatch are changing debugging. Wprobes tracks memory, KStackWatch boosts stack detection. Let's tackle kernel complexities! 🚀 https://ow.ly/jPmU50X35sL #KernelDev #DebuggingTools
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
Thanks to Huawei’s Baokun Li, block allocation code now scales much better — great news for multi-core, container-heavy systems. Benchmarks show big gains in fallocate ops & reduced file fragmentation (with a small trade-off in free space).
#linux #ext4 #filesystem #kerneldev #performance
#linux #ext4 #filesystem #kerneldev #performance
August 3, 2025 at 12:10 PM
Thanks to Huawei’s Baokun Li, block allocation code now scales much better — great news for multi-core, container-heavy systems. Benchmarks show big gains in fallocate ops & reduced file fragmentation (with a small trade-off in free space).
#linux #ext4 #filesystem #kerneldev #performance
#linux #ext4 #filesystem #kerneldev #performance
🔥 Industry pivot: Linux #kernel formalizes AI collaboration!
Sasha Levin's RFC introduces:
.ai-config standardization
Co-developed-by attribution
GPLv2 enforcement
Why this matters for FOSS: Read more:👉 tinyurl.com/mr3be4e9 #Linux #AI #DevOps #KernelDev
Sasha Levin's RFC introduces:
.ai-config standardization
Co-developed-by attribution
GPLv2 enforcement
Why this matters for FOSS: Read more:👉 tinyurl.com/mr3be4e9 #Linux #AI #DevOps #KernelDev
Linux Kernel Embraces AI: New RFC Establishes Ground Rules for AI-Generated Code Contributions
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
July 26, 2025 at 5:19 PM
🔥 Industry pivot: Linux #kernel formalizes AI collaboration!
Sasha Levin's RFC introduces:
.ai-config standardization
Co-developed-by attribution
GPLv2 enforcement
Why this matters for FOSS: Read more:👉 tinyurl.com/mr3be4e9 #Linux #AI #DevOps #KernelDev
Sasha Levin's RFC introduces:
.ai-config standardization
Co-developed-by attribution
GPLv2 enforcement
Why this matters for FOSS: Read more:👉 tinyurl.com/mr3be4e9 #Linux #AI #DevOps #KernelDev
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
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
The Linux kernel’s API stability problem might finally have a solution.
Sasha Levin’s new framework brings machine-readable API specs to the kernel, reducing undocumented breakages.
Key features:
Embedded macros
kapi tool for analysis
Read more: 👉 tinyurl.com/25k2799j #Linux #KernelDev
Sasha Levin’s new framework brings machine-readable API specs to the kernel, reducing undocumented breakages.
Key features:
Embedded macros
kapi tool for analysis
Read more: 👉 tinyurl.com/25k2799j #Linux #KernelDev
Linux Kernel API Specification Framework: A Game-Changer for Stability & Developer Efficiency
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
June 14, 2025 at 9:14 PM
The Linux kernel’s API stability problem might finally have a solution.
Sasha Levin’s new framework brings machine-readable API specs to the kernel, reducing undocumented breakages.
Key features:
Embedded macros
kapi tool for analysis
Read more: 👉 tinyurl.com/25k2799j #Linux #KernelDev
Sasha Levin’s new framework brings machine-readable API specs to the kernel, reducing undocumented breakages.
Key features:
Embedded macros
kapi tool for analysis
Read more: 👉 tinyurl.com/25k2799j #Linux #KernelDev
Just in: Linux 6.16’s Kbuild update introduces granular control over GPL symbol exports with EXPORT_SYMBOL_GPL_FOR_MODULES.
Example: Limit preempt_notifier_inc to only KVM. 🔐
Read more:👉 tinyurl.com/mu379kwe #Tech #KernelDev
Example: Limit preempt_notifier_inc to only KVM. 🔐
Read more:👉 tinyurl.com/mu379kwe #Tech #KernelDev
Linux 6.16 Kernel Update: EXPORT_SYMBOL_GPL_FOR_MODULES Enhances Module Security
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
June 8, 2025 at 3:29 PM
Just in: Linux 6.16’s Kbuild update introduces granular control over GPL symbol exports with EXPORT_SYMBOL_GPL_FOR_MODULES.
Example: Limit preempt_notifier_inc to only KVM. 🔐
Read more:👉 tinyurl.com/mu379kwe #Tech #KernelDev
Example: Limit preempt_notifier_inc to only KVM. 🔐
Read more:👉 tinyurl.com/mu379kwe #Tech #KernelDev
Hot take: Rust in Linux 6.16 isn’t just for devs—it’s a CPM goldmine.
🔹 DRM/Ioctl = premium GPU ads
🔹 MM abstractions = cloud security buyers
🔹 PCI bindings = Dell/HP/Cisco traffic. Read more: 👇 tinyurl.com/49ytc8ax #KernelDev
🔹 DRM/Ioctl = premium GPU ads
🔹 MM abstractions = cloud security buyers
🔹 PCI bindings = Dell/HP/Cisco traffic. Read more: 👇 tinyurl.com/49ytc8ax #KernelDev
Rust in Linux Kernel 6.16: New Abstractions Boost Performance & Security
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
June 3, 2025 at 9:47 PM
Hot take: Rust in Linux 6.16 isn’t just for devs—it’s a CPM goldmine.
🔹 DRM/Ioctl = premium GPU ads
🔹 MM abstractions = cloud security buyers
🔹 PCI bindings = Dell/HP/Cisco traffic. Read more: 👇 tinyurl.com/49ytc8ax #KernelDev
🔹 DRM/Ioctl = premium GPU ads
🔹 MM abstractions = cloud security buyers
🔹 PCI bindings = Dell/HP/Cisco traffic. Read more: 👇 tinyurl.com/49ytc8ax #KernelDev
Just in: The #Linux kernel now handles eMMC/SD shutdowns properly—no more abrupt power cuts!
Why it matters:
✅ Safer for industrial devices
✅ Better storage longevity
✅ Key for enterprise reliabilityRead more: 👉 tinyurl.com/r9khnt5p #OpenSource #KernelDev
Why it matters:
✅ Safer for industrial devices
✅ Better storage longevity
✅ Key for enterprise reliabilityRead more: 👉 tinyurl.com/r9khnt5p #OpenSource #KernelDev
Linux 6.16 Kernel Update: Enhanced MMC Support for eMMC & SD Cards
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
May 30, 2025 at 4:04 PM
Just in: The #Linux kernel now handles eMMC/SD shutdowns properly—no more abrupt power cuts!
Why it matters:
✅ Safer for industrial devices
✅ Better storage longevity
✅ Key for enterprise reliabilityRead more: 👉 tinyurl.com/r9khnt5p #OpenSource #KernelDev
Why it matters:
✅ Safer for industrial devices
✅ Better storage longevity
✅ Key for enterprise reliabilityRead more: 👉 tinyurl.com/r9khnt5p #OpenSource #KernelDev
Deep dive: How Google’s hardware-wrapped keys in Linux 6.16 (via fscrypt) could reshape enterprise security. Hint: It’s all about Qualcomm ICE + blk-crypto. /cc @ebiggers Read more:👉 tinyurl.com/2k3r9a6s #InfoSec #KernelDev
Google Engineer Brings Hardware-Wrapped Encryption Keys to Linux 6.16 Kernel
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
May 28, 2025 at 12:05 PM
Deep dive: How Google’s hardware-wrapped keys in Linux 6.16 (via fscrypt) could reshape enterprise security. Hint: It’s all about Qualcomm ICE + blk-crypto. /cc @ebiggers Read more:👉 tinyurl.com/2k3r9a6s #InfoSec #KernelDev
Hot off the merge window: Linux 6.16’s VFS now handles filesystem freezing during suspend/resume. No more userspace guesswork!
👉 Key perk: Skips already-frozen FS (EBUSY), so your 500-ext4-server won’t fail resume. Read more: 👇 tinyurl.com/y8kwpjem #KernelDev #OpenSource
👉 Key perk: Skips already-frozen FS (EBUSY), so your 500-ext4-server won’t fail resume. Read more: 👇 tinyurl.com/y8kwpjem #KernelDev #OpenSource
Linux 6.16 Introduces Power Subsystem Support for Filesystem Freeze/Thaw During Suspend/Resume
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
May 27, 2025 at 12:06 PM
Hot off the merge window: Linux 6.16’s VFS now handles filesystem freezing during suspend/resume. No more userspace guesswork!
👉 Key perk: Skips already-frozen FS (EBUSY), so your 500-ext4-server won’t fail resume. Read more: 👇 tinyurl.com/y8kwpjem #KernelDev #OpenSource
👉 Key perk: Skips already-frozen FS (EBUSY), so your 500-ext4-server won’t fail resume. Read more: 👇 tinyurl.com/y8kwpjem #KernelDev #OpenSource
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
📰 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
Requirements: *exist*
Meetings: *multiply*
Developers: "Talk is cheap, show me the code"
PR: *submitted*
For the doers in tech 💪
🔗 ushacreations.shop/products/tal...
#KernelDev #FOSS #CodeQuality
Meetings: *multiply*
Developers: "Talk is cheap, show me the code"
PR: *submitted*
For the doers in tech 💪
🔗 ushacreations.shop/products/tal...
#KernelDev #FOSS #CodeQuality
Talk is Cheap. Show Me the Code | Funny Developer T-Shirt | Usha Creat
Cut through the noise with the “Talk is Cheap. Show Me the Code” t-shirt. Designed for developers, software engineers, and programmers who believe in action over words, this shirt humorously captures ...
ushacreations.shop
December 6, 2024 at 3:12 PM
Requirements: *exist*
Meetings: *multiply*
Developers: "Talk is cheap, show me the code"
PR: *submitted*
For the doers in tech 💪
🔗 ushacreations.shop/products/tal...
#KernelDev #FOSS #CodeQuality
Meetings: *multiply*
Developers: "Talk is cheap, show me the code"
PR: *submitted*
For the doers in tech 💪
🔗 ushacreations.shop/products/tal...
#KernelDev #FOSS #CodeQuality