We call this kernel saunters: How Apple rearranged its XNU core with exclaves

Apple has been working to harden the XNU kernel that powers its various operating systems, including iOS and macOS, with a ...
ZDNet

Researchers prove kernel is secure

Australian researchers have demonstrated a way to prove core software for mission-critical systems is safe. The researchers on Thursday said they can prove mathematically that code they have developed ...
Linux Journal

Linux Kernel Runtime Guard Reaches 1.0: A Major Milestone for Runtime Kernel Security

LKRG is a loadable kernel module designed to protect the Linux kernel at runtime. Instead of relying solely on compile-time ...
ZDNet

Kernel security now: Linux's unique method for securing code

The Linux Foundation's Greg Kroah-Hartman delivered a comprehensive talk this week on the current state and future challenges of Linux kernel security. Speaking at the Open Source Summit (OSS) Japan ...
Windows Report

Microsoft Launches LiteBox, a Rust-Based Secure OS Designed to Sandbox & Protect Linux Workloads

Microsoft has quietly introduced LiteBox, a Rust-based, security-focused library OS designed to sandbox apps and reduce ...
Bleeping Computer

Google funds Linux maintainers to boost Linux kernel security

Together with the Linux Foundation, Google announced today that they would fund two Linux kernel developers' efforts as full-time maintainers exclusively focused on improving Linux security. "While ...