Home New Trending Search
About Privacy Terms
#
#KernelDev
Posts tagged #KernelDev on Bluesky

#FreeBSD #KernelDev #FIPS #WireGuard WireGuard

0 0 0 0
Preview
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.

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

3 0 0 0
Preview
Usare il machine learning per assistere il comportamento del kernel Linux, arriva la proposta Una nuova proposta esplora l’uso di modelli di machine learning in user‑space per assistere il comportamento del kernel Linux tramite un proxy ML .

Una nuova proposta esplora l’uso di modelli di machine learning in user‑space per assistere il comportamento del kernel Linux tramite un proxy ML leggero. #Linux #Kernel #MachineLearning #OpenSource #KernelDev #AI

1 0 0 0

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

0 0 0 0

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

0 0 1 0

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

0 0 0 0

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

0 0 1 0

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

0 0 0 0

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

0 0 1 0
Operating System in 1,000 Lines | OS in 1,000 Lines Write your first operating system from scratch, in 1K LoC.

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/

1 0 1 0
Preview
New kernel tools: wprobes, KStackWatch, and KFuzzTest The kernel runs in a special environment that makes it difficult to use many of the development [...]

🛠️ 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

0 0 0 0

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

0 0 1 0

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

0 0 0 0

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

0 0 1 0

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

1 0 1 0

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

0 1 0 0
Preview
Linux Kernel Embraces AI: New RFC Establishes Ground Rules for AI-Generated Code Contributions Blog com notícias sobre, Linux, Android, Segurança , etc

🔥 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

0 1 0 0
Preview
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

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

0 0 1 0

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

0 0 1 0
Preview
Linux Kernel API Specification Framework: A Game-Changer for Stability & Developer Efficiency Blog com notícias sobre, Linux, Android, Segurança , etc

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

0 0 0 0
Preview
Linux 6.16 Kernel Update: EXPORT_SYMBOL_GPL_FOR_MODULES Enhances Module Security Blog com notícias sobre, Linux, Android, Segurança , etc

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

1 1 0 0
Preview
Rust in Linux Kernel 6.16: New Abstractions Boost Performance & Security Blog com notícias sobre, Linux, Android, Segurança , etc

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

0 0 0 0
Preview
Linux 6.16 Kernel Update: Enhanced MMC Support for eMMC & SD Cards Blog com notícias sobre, Linux, Android, Segurança , etc

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

1 0 0 0
Preview
Google Engineer Brings Hardware-Wrapped Encryption Keys to Linux 6.16 Kernel Blog com notícias sobre, Linux, Android, Segurança , etc

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

0 0 0 0
Preview
Linux 6.16 Introduces Power Subsystem Support for Filesystem Freeze/Thaw During Suspend/Resume Blog com notícias sobre, Linux, Android, Segurança , etc

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

1 0 0 0

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

0 0 1 0

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

0 0 1 0

📰 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

0 0 0 0
Preview
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 ...

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

0 0 0 0