Open Source Linux Operating System Kernels - Page 4
Sort By:
Operating System Kernels for Linux
View 283 business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
syzkaller is Google’s coverage-guided, feedback-driven kernel fuzzer designed to uncover reliability and security bugs in operating system kernels at scale. It automatically generates, mutates, and minimizes system call programs, then drives them through a specialized executor (syz-executor) to exercise deep kernel paths. The system integrates tightly with sanitizers such as KASAN, KMSAN, KCSAN, and UBSAN to surface memory safety, concurrency, and undefined behavior issues with actionable reports. A distributed architecture coordinates many fuzzing VMs, collects crash signatures, deduplicates them, and bisects to the first bad commit when possible. syzkaller maintains per-kernel “syz” descriptions so it understands arguments, flags, and resources of thousands of syscalls and ioctls across Linux and other kernels. It also ships sophisticated reproducers and minimization routines so developers get small, deterministic test cases they can run locally to fix bugs quickly. -
2
EasyPeasy is a lightweight operating system for netbooks, designed for the Internet and low power consumption.
-
3
Drivers for the HP (previously Compaq) Smart Array controllers which provide hardware RAID capability. Hardware info: https://www.hpe.com/us/en/product-catalog/servers/smart-array-controllers-and-smart-host-bus-adapters.hits-12.html
-
4
UbuntuCE
Linux For Christians
Ubuntu Christian Edition (UbuntuCE) is a free, open source operating system geared towards Christians. It is based on the popular Ubuntu Linux. Ubuntu is a complete Linux-based operating system, freely available with both community and professional support. The goal of UbuntuCE is to bring the power and security of Ubuntu to Christians. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
The Xbox Linux Project aims to privide a version of GNU/Linux for the Xbox, so that it can be used as an ordinary computer. Linux should make use of all Xbox hardware and allow to install and run software from standard i386 Linux distributions.
-
6
Metamorphose Linux
Metamorphose Linux
O Metamorphose é um sistema operacional baseado em Linux onde seu maior objetivo de ser simples, completo e com um visual agradável para usuários iniciantes ou avançados. Conta com uma das maiores compatibilidades de hardware e software da atualidade, se comparado a outras distribuições Linux. -
7
Linux Kernel Programming IDE (LinK+)
A Simple 'IDE'A for Linux Kernel Developers
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call development and device driver development. LinK+ IDE includes various templates in the category of character, block and network device driver subsystems for device driver development. It includes various bus infrastructure templates and also provides Linux device driver code completion, code assistance & code navigation for developers. Download - LinK+ IDE for 32 & 64-bit architecture : https://sourceforge.net/projects/linkplustest/files/installers/ LinK+ Update Site (compatible with Eclipse IDE v3.6.x ): http://sourceforge.net/projects/linkplustest/files/repository/ User Manual: http://sourceforge.net/projects/linkplustest/files/documentation/LinK%2B_UserManual_Rev4.pdf -
8
Tilck
A Tiny Linux-Compatible Kernel
Tilck is a tiny, monolithic operating system kernel designed to be partially compatible with Linux at the binary level while maintaining extreme simplicity, low latency, and minimal resource usage. It is built primarily as an educational project, allowing developers to experiment with kernel development while still being able to run real Linux user-space applications without modification. The kernel is written in C and designed to run on architectures such as i686 and RISC-V, with future plans for broader hardware support. One of its defining characteristics is its deterministic behavior and very small memory footprint, enabling it to run on systems with extremely limited resources. Unlike Linux, tilck intentionally avoids complexity and large-scale features, focusing instead on clarity, robustness, and ease of understanding. It includes its own bootloader and supports integration with existing ones like GRUB, making it flexible for experimentation. -
9
The NitrOS-9 Project
OS-9/6809 compatible operating system for Tandy CoCo and Dragon
The NitrOS-9 Project provides an OS-9/6809 compatible operating system for the Tandy/TRS-80 Color Computer and Dragon home computer. -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
KahelOS is an Arch-based distro that has a desktop and server editions, follows a rolling release schedule, boasts of optimum performance on i686 and x86-64 systems, and has btrfs, nilfs and ext4 filesystems.
-
11
uumate
Updated Ubuntu Mate OS 64bit (15.10 based)
UUMATE is a respin of Ubuntu Mate (https://ubuntu-mate.org/) The main goal of this project is simple: Just have an updated Ubuntu Mate 64bit ready to install, with full multimedia support, compiz, many extra applications and some cosmetic changes. Many PPAs/Repos already available. Event sounds (minimize, maximize, close, etc...) enabled by default you can enable/disable compiz using "mate-tweak"! No need to download hundred megabytes after installation! Note: To burn the ISO to a USB stick, use "dd" command. In MS Windows use Rufus. This ISO is helpful for people trying to install linux for the first time or coming from windows environment. It has plenty of software pre installed (some are trial/shareware) with full internet and multimedia support. Very useful as live media as well. It has audio/video codecs, flashplayer, java, googletalk, telegram, twitter, etc... Changelog: http://sourceforge.net/p/uumate/blog -
12
ArchMint
ArchMint GNU/Linux Distro
2007 yılında Edgar Colby ve Necho Carlota tarafından Portekiz ve Brezilyalı kullanıcıları Arch Linux tabanlı kolay kurulabilen bir GNU/Linux dağıtımı ile buluşturmak adına ArchMint projesi başlamış ve 2013 yılına kadar Gnome 2 masaüstüne sahip 4 ayrı ana sürüm yayınlanmıştır. 2013 yılında Mate masaüstü ortamına geçiş ile birlikte projeye Hasan Arslan ve Tekin Özer dahil olmuştur. 2014 yılında projenin başlatıcıları olan Edgar Colby ve Necho Carlota'nın projeden ayrılması ile birlikte proje ismine ithafen Arch Linux'un sağlamlığı ve Linux Mint'in açık kaynak kodlu araçları birleştirilerek 2 yeni sürüm hazırlanmıştır. ArchMint projesi, 2016 yılında tüm geliştiricilerin ayrılması ile birlikte askıya alınmıştır. 2017 - 2020 yılları arasında eski geliştiriciler birkaç sürüm yayınlamış fakat devamı gelmemiştir. ArchMint paket deposu hala günceldir ve Arch Linux içinde kullanılabilir. [archmint] SigLevel = Never Server = https://sourceforge.net/projects/archmint/files/repo/$arch -
13
C-BIOS
C-BIOS is an open source BIOS for MSX computers.
C-BIOS is an open source BIOS for MSX computers. C-BIOS can be shipped with MSX emulators so they are usable out-of-the-box. This project aims to improve C-BIOS by fixing incompatibilities with the MSX BIOS and the development of a Disk ROM. -
14
DAT Linux
The data science OS
DAT Linux is a Linux distribution for data science. It brings together all your favourite open-source data science tools and apps into a ready-to-run desktop environment. https://datlinux.com It's based on Lubuntu, so it’s easy to install and use. The custom DAT Linux Control Panel provides a centralised one-stop-shop for running and managing dozens of data science programs. DAT Linux is perfect for students, professionals, academics, or anyone interested in data science who doesn’t want to spend endless hours downloading, installing, configuring, and maintaining applications from a range of sources, each with different technical requirements and set-up challenges. -
15
Hotplugging is a facility that supports dynamic (re)configuration of GNU/Linux distributions by kernel reports to user mode "agent" software.
-
16
OpenVPN 2.3.2 I003nvp
IPv6 compatibility
First version of OpenVPN opensource software that is compatible with IPv6. -
17
A collection of single floppy disk based Network Attached Storage (NAS) Server Operating Systems, designed to transform a basic computer into a dedicated SMB/CIFS, FTP or NFS file server.
-
18
Debian 13 Mate
Debian Trixie with the Mate desktop environment
EFI SUPPORT: Download the efi iso if you need efi support here: https://sourceforge.net/projects/debian-mate/files/current/ This is debian 13 mate. Built with debian tools, packages, and currently based on the stable branch (Trixie). Here I try not to use software from outside of the debian repositories. For all intents and purposes, this is just debian paired with the mate desktop environment with a lot of hardware support taken care of. Debian mate doesn't force you into new conformancy. We use the mate desktop environment here; no gnome 4 or unity for anyone. With a start menu and a taskbar, you're good to go. This is just another decent desktop use operating system, but better. Take a good long stare at my packages (check readme.txt). -
19
Syllable Desktop is a complete operating system that is easy to use, powerful, lightweight and extraordinarily fast and responsive. It has its own kernel, filesystem, GUI and applications. Syllable Server is a matching small and efficient Linux server.
-
20
FlashForth is a standalone Forth system for the Microchip PIC 18, 24, 30, 33 and the Atmel Atmega series of microcontrollers. A Forth system with interpreter, compiler, assembler and multitasker is provided.
-
21
cramfs is a Linux filesystem designed to be simple, small, and to compress things well. It is used on a number of embedded systems and small devices.
-
22
JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.
-
23
Cub Linux
Chromium + Ubuntu = Cub Linux
The best of Chromium and Ubuntu. Cub Linux is a project to replicate the Chromium OS experience on an Ubuntu Linux base system. Cub Linux is free to download and use forever. -
24
SulinOS
Indipendent distro uses inary package system. Sulin is roolling donkey
Sulin is rolling donkey Gitlab: https://gitlab.com/sulinos Github: https://github.com/sulinos Telegram: https://t.me/sulinos powered by donkey team -
25
The objective of the TPM Emulator project is the implementation of a software-based TPM and MTM emulator as well as of an appropriate TCG Device Driver Library (TDDL).
