Top Operating Systems & Updates for Linux

Genode is an open source operating system framework that extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Currently, L4/Fiasco and Linux are supported.What is new in this release:Hardware-accelerated...

LightBSD is an open source and totally free BSD operating system based on the FreeBSD distribution and designed to be as lightweight and easy-to-use as possible.LightBSD is engineered in such a way that it provides a really fast and easy installation...

HelenOS project is an effort to develop a working operating system according to HelenOS specifications. HelenOS supports SMP, multitasking and multithreading on both 32-bit and 64-bit, little-endian and big-endian, processor architectures, among wich are...

FreeRTOS is an open source and portable, mini Real Time Kernel - a free to download and royalty free RTOS that can be used in commercial applications.Ports exist for many different processor architectures and development tools. Each official port includes...

eyeOS is an open source platform designed to hold a wide variety of Web applications over it.eyeOS is scalable, so everyone can port an existing PHP app to eyeOS and create a meta-package for installing it.Requirements:Server: · Apache web server...

RISC OS for Raspberry Pi is an operating system for the ARM architecture, especially designed for the Raspberry Pi device, and based on RISC OS.RISC OS for Raspberry Pi is an operating system distributed free of charge to all Raspberry Pi...

Haiku is an open source operating system currently in development that specifically targets personal computing. Inspired by the Be Operating System, Haiku aims to become a fast, efficient, simple to use, easy to learn and yet very powerful system for...

Jibbed is a LiveCD distribution based on the NetBSD Operating System that  works directly from a CD.The distribution contains software from the NetBSD Foundation which is licensed according to the NetBSD Foundation's 4-clause license.What is new in...

FreeBSD for Raspberry Pi is a BSD distribution for the ARM architecture, especially designed for the Raspberry Pi device.FreeBSD for Raspberry Pi is an operating system distributed free of charge to all Raspberry Pi users.Username: rootPassword:...

NetBSD for Raspberry Pi is a BSD distribution for the ARM architecture, especially designed for the Raspberry Pi device.NetBSD for Raspberry Pi is an operating system distributed free of charge to all Raspberry Pi users.What is new in this release:This...