Linux.com

Home News Software



"The World's Most Highly-Assured OS" Kernel Open-Sourced

The seL4 kernel that's an advanced, security-enhanced version of the L4 micro-kernel has been open-sourced by General Dynamics C4 Systems and NICTA...

Read more... Comment (0)
 

The Shocking Truth About Torvalds' Home Office

If the Linux world has anything akin to royalty, Linus Torvalds surely must be its monarch. So what could be more natural than for the Linux-loving masses to want to see where he works and lives? Fortunately for FOSS fans, none other than the Linux Foundation has stepped up with...

Read more... Comment (0)
 

GCC As A Just-In Time Compiler Is An Interesting Project

Aside from the experimental "Coconut" as a Python JIT compiler using GCC's new Just-In Time capabilities, the libgccjit.so shared library isn't yet depended upon in the real-world but the JIT compilation abilities are being built upon for hopeful incorporation into the GNU Compiler Collection...

Read more... Comment (0)
 

Power Up Your Video with VLC Media Player and Other Free Tools

If you've got some time to add another open source application to your arsenal, getting to know VLC Media Player, available for Windows, the Mac and Linux, is one of the best choices you can make.

Read more... Comment (1)
 

KDE Releases Ice-Cream Coloured Plasma 5 Just in Time for Summer

Plasma 5, released last week, is a major redesign of the Unix KDE desktop environment and underlying frameworks.…...

Read more... Comment (0)
 

DARPA-Derived Secure Microkernel Goes Open Source

A nippy microkernel mathematically proven to be bug free*, and used to protect drones from hacking, will be released as open source tomorrow.…...

Read more... Comment (0)
 
Page 11 of 416

Who we are ?

The Linux Foundation is a non-profit consortium dedicated to the growth of Linux.

More About the foundation...

Frequent Questions

Join / Linux Training / Board