Intel Releases Updated Battlemage Driver Preview Support For Ubuntu 24.04 LTS

While there is nice out-of-the-box support for the new Intel Arc “Battlemage” graphics cards on the new Ubuntu 25.04 release, if you prefer running the Ubuntu 24.04 Long Term Support (LTS) release there isn’t complete support until the next hardware enablement “HWE” update. But Intel in cooperation with Canonical has now published a new graphics driver preview stack for enabling better Intel Arc B-Series support for Ubuntu 24.04 LTS users…

The elusive goal of Unix — or Linux — simplicity

Or, rediscovering the KISS principle, the long way roundComment Linux distro wars are nothing new. “Advocacy” (a euphemism for angry argument) about hardware, OSes, programming languages and editors goes back as long as different computers have existed. Computers appeal to geeky folks, and geeky folks readily get a little too attached to things — and then become possessive and defensive about them.…

AlmaLinux OS 10.0 released

Version
10
of the AlmaLinux OS distribution has been released.

The goal of AlmaLinux OS is to support our community, and AlmaLinux
OS 10 is the best example of that yet. With an unwavering eye on
maintaining compatibility with Red Hat Enterprise Linux (RHEL), we
have made small improvements to AlmaLinux OS 10 that target
specific sections of our userbase.

See the
release notes
for details.

Linux 6.16 Upstreams Support For Hardware-Wrapped Encryption Keys

Google engineer Eric Biggers took time away from all his impressive crypto performance optimizations to the Linux kernel for modern Intel and AMD CPUs to spend time getting support for hardware-wrapped inline encryption keys into the mainline kernel. Google’s Android kernel has been carrying this functionality for several years to help enhance security and will now be found in the mainline kernel too for capable platforms…

[$] Verifying the BPF verifier’s path-exploration logic

Srinivas Narayana led a remote session about extending

Agni
to prove the correctness of
the BPF verifier’s handling of different execution paths as part of the Linux Storage,
Filesystem, Memory Management, and BPF Summit. The problem of ensuring the
correctness of path exploration
is much more difficult than the problem of
ensuring the correctness of arithmetic operations
(which was

the subject of the previous session
), however. Narayana’s plan to
tackle the problem makes use of a mixture of specialized techniques — and may
need some assistance from the BPF developers to make it feasible at all.