If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

The leading one of these is Linux. Finally, although it’s reasonable to call Unix an “operating system,” as a practical matter it is more. In addition to an OS kernel, Unix implementations typically ...

The latest version of the Linux kernel cleans out nearly 100K lines of code, adds file encryption and the Berkeley Packet Filter, plus makes a nod to gamers and mobile devices. The recent release of ...

Spend enough time around Android, or even PCs, and eventually you will come across the term, “the Linux kernel,” since Android uses the Linux kernel. The “Linux” part is easy enough to understand, it ...

Forty years ago this summer, a programmer sat down and knocked out in one month what would become one of the most important pieces of software ever created. In August 1969, Ken Thompson, a programmer ...