Feed aggregator
Lite 7.6-rc1
[$] LWN.net Weekly Edition for July 31, 2025
- Front: Becoming a Python contributor; Graphene OS; Fedora quality team; 6.16 Development statistics; Proxy execution; Run-time verification; Confidential VMs.
- Briefs: HeliumOS 10; European Tech Funding; GNU C Library 2.42; OpenPrinting; Wayback 0.1
- Announcements: Newsletters, conferences, security updates, patches, and more.
Manjaro 25.0.6
We need a European Sovereign Tech Fund (GitHub blog)
GitHub director of developer policy, Felix Reda, has published a blog post about a GitHub-commissioned study by Open Forum Europe, Fraunhofer ISI and the European University Institute. The study finds, not surprisingly, "a profound mismatch between the importance of open source maintenance and the public attention it receives"; it calls for a European sovereign tech fund (STF) modeled after Germany's Sovereign Tech Agency.
The study proposes two alternative institutional setups for the EU-STF: either the creation of a centralized EU institution (the moonshot model), or a consortium of EU member states that provide the initial funding and apply for additional resources from the EU budget (the pragmatic model). In both cases, to make the fund a success, the minimum contribution from the upcoming EU multiannual budget should be no less than €350 million. This would not be enough to meet the open source maintenance need, but it could form the basis for leveraging industry and national government co-financing that would make a lasting impact.The European Union is currently starting negotiations for its 2028-2034 budget, the Multiannual Financial Framework; GitHub and others hope to persuade EU legislators to include a European STF in that framework.
[$] Extending run-time verification for the kernel
There are a lot of things people expect the Linux kernel to do correctly. Some of these are checked by testing or static analysis; a few are ensured by run-time verification: checking a live property of a running Linux system. For example, the scheduler has a handful of different correctness properties that can be checked in this way. Nam Cao posted a patch series that aims to extend the kinds of properties that the kernel's run-time verification system can check, by adding support for linear temporal logic (LTL). The patch set has seen eleven revisions since the first version in March 2025, and recently made it into the linux-next tree, from where it seems likely to reach the mainline kernel soon.
Rescuezilla 2.6.1 Released with Ubuntu 25.04 Base
Rescuezilla 2.6.1 disk imaging and recovery adds Ubuntu 25.04 support, improves touchpad gestures, fixes swap partition restore failures, and more.
The post Rescuezilla 2.6.1 Released with Ubuntu 25.04 Base appeared first on Linux Today.
Best Free and Open Source Alternatives to Autodesk Fusion
Autodesk Fusion is a computer-aided design (CAD), computer-aided manufacturing (CAM), computer-aided engineering (CAE) and printed circuit board (PCB) design software application. Autodesk Fusion is proprietary software and is not available for Linux. We recommend the best free and open source alternatives.
The post Best Free and Open Source Alternatives to Autodesk Fusion appeared first on Linux Today.
[$] On becoming a Python contributor
GStreamer 1.26.4 Rolls Out with Bug Fixes and Performance Tweaks
GStreamer 1.26.4 multimedia framework is out with important bug fixes, improved RTP handling, better AWS MediaLive compatibility, and more.
The post GStreamer 1.26.4 Rolls Out with Bug Fixes and Performance Tweaks appeared first on Linux Today.
Debian 13 Trixie Nears Stable Release: Final Freeze Set for August 2025
Debian Trixie is expected to enter its full freeze in August 2025, with release date discussions focusing on late July to mid-August.
The post Debian 13 Trixie Nears Stable Release: Final Freeze Set for August 2025 appeared first on Linux Today.
Falco: Open-source cloud-native runtime security tool for Linux
Falco is an open-source runtime security tool for Linux systems, built for cloud-native environments. It monitors the system in real time to spot unusual activity and possible security threats. Falco is a graduated project from the Cloud Native Computing Foundation (CNCF) and is used in production by many organizations.
The post Falco: Open-source cloud-native runtime security tool for Linux appeared first on Linux Today.
Security updates for Wednesday
Firefly AIBOX-3588S Embedded Fanless PC Running Linux – Introduction
This is a multi-part blog looking at the Firefly AIBOX-3588S Mini PC running Linux. This embedded fanless ARM-based computer sports an 8 core Rockchip RK3588S CPU with a maximum clock speed of 2.4GHz.
The post Firefly AIBOX-3588S Embedded Fanless PC Running Linux – Introduction appeared first on Linux Today.
Learn Linux Fast by Playing These Fun and Interactive Games
These interactive Linux-based games teach everything from basic commands to advanced shell skills, all while keeping you engaged.
The post Learn Linux Fast by Playing These Fun and Interactive Games appeared first on Linux Today.
Fwupd 2.0.13 Linux Firmware Updater Adds Support for HP USB-C 100W G6 Dock
Coming one and a half months after fwupd 2.0.12, the fwupd 2.0.13 release adds support for updating the firmware on more hardware, including the HP USB-C 100W G6 dock, Logitech bulk controller peripherals, as well as more MediaTek scaler devices.
The post Fwupd 2.0.13 Linux Firmware Updater Adds Support for HP USB-C 100W G6 Dock appeared first on Linux Today.
5 Useful Free and Open Source Linux Service Discovery Tools
Service discovery is the process of automatically finding devices and services on a computer network. Service discovery uses a service’s identity instead of traditional access information (IP address and port). This allows you to dynamically map services and track any changes within a service catalog.
The post 5 Useful Free and Open Source Linux Service Discovery Tools appeared first on Linux Today.
What’s the Point of Linux “Anti-Something” Distros?
The biggest questions our man in Italy has about Linux distros and other open source software projects taking political stances is: do they do more harm than good?
The post What’s the Point of Linux “Anti-Something” Distros? appeared first on Linux Today.
next-20250730: linux-next
TTOS 1.2.0
Gnuinos 2025.07.29
Pages
