| by Arround The Web

Muen 1.0 Released, an Open Source Microkernel for Systems Building

After eight years of development, the Muen 1.0 project has been released, developing the Separation kernel, the absence of errors in the source code was confirmed using mathematical methods of formal verification of reliability. The kernel is available for the x86_64 architecture and can be used in mission-critical systems that require an increased level of [โ€ฆ]

The post Muen 1.0 Released, an Open Source Microkernel for Systems Building appeared first on Linux Today.

Share Button
Read More
| by Arround The Web

Lutris 0.5.9 Released for Easier Access to Linux Games

After almost a year of development, the gaming platform has Lutris 0.5.9 been released, providing tools to simplify the installation, configuration and management of games on Linux. The project code is written in Python and is distributed under the GPL…

Share Button
Read More
| by Arround The Web

Free Software Foundation Introduces JShelter Browser Add-on

The Free Software Foundation has unveiled the project JShelter, which develops a browser add-on to protect against threats posed by JavaScript on websites, including hidden identification, movement tracking, and user data collection. The project code is distributed under the GPLv3 license. The add-on is prepared for Firefox, Google Chrome, Opera, Brave, Microsoft Edge, and other [โ€ฆ]

The post Free Software Foundation Introduces JShelter Browser Add-on appeared first on Linux Today.

Share Button
Read More