I did something recently I haven’t done in a long time: I recompiled the Linux kernel. There was a time when this was a common occurrence. You might want a feature that the default kernel didn’t ...

When you write programs in user space, the worst thing that can happen to your program is a core dump. Your program did something very wrong, so the operating system decided to give you all of its ...

Linux is a tried-and-true, open-source operating system released in 1991 for computers, but its use has expanded to underpin systems for cars, phones, web servers and, more recently, networking gear.

However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born Gnu Hurd ...

For the better part of a decade, Linux enthusiasts have waxed poetic on the inherent greatness and looming success of Desktop Linux. Our kernel is so robust! Our applications are infinitely ...

Docker today announced the acquisition of Unikernel Systems, a Cambridge, UK-based startup that aims to bring unikernels to the masses (or at least the masses of developers). Docker plans to integrate ...

__ 1991: __Linus Torvalds, a 21-year-old university student from Finland, writes a post to a user group asking for feedback on a little project he's working on. He's built a simple kernel for a ...

MSI, the Taiwanese PC company that is known for its Wind netbooks, has created a new instant-on operating system based on the Linux kernel. The OS called Winki will feature in an upcoming MSI netbook ...

At the WWDC conference last year, Apple announced plans to deprecate macOS "kernel extensions" (KEXTs) and replace them with a new mechanism called "system extensions." The first step towards this ...