» Tag
kernel
21 postsseL4 Security Proofs Now Complete on AArch64
Proofcraft has finalized the security proofs for seL4 on AArch64, confirming its confidentiality enforcement and enhancing application isolation.
KernelScript: Cross-Boundary Typed DSL for eBPF Applications
KernelScript presents a DSL that unifies cross-boundary relationships for eBPF applications.
Security After Remote Attestation
Explore essential measures and methods for maintaining security after remote attestation.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comLinux 0.11 Rewritten in Rust, Boots on QEMU
The Linux 0.11 kernel is now rewritten in Rust and runs on QEMU. It offers enhanced types and module clarity.
Linux Fileless Execution: Process Injection and Syscalls Explained
An in-depth examination of fileless execution methods and system calls on Linux.
The Linux Kernel from a PostgreSQL Perspective
Andres Freund discussed the interaction between PostgreSQL and the Linux kernel.
Kernel 7.2: RK3588 media, smarter GPU memory management
Linux kernel 7.2 brings key improvements, including RK3588 support and Rust-based GPU memory management.
New Linux Patches Aim to Better Handle Multiple Swap Devices
New Linux patches have been released to improve the management of multiple swap devices.
Two Memory Management Optimizations in Linux 7.3
Linux 7.3 memory management updates bring performance enhancements. Key changes in zs_free() and rmap_walk_ksm() functions are noteworthy.
Measuring eBPF Cache Without Leaving the Kernel
New methods for measuring inode cache statistics of the eBPF agent at the kernel level.