Kernel Development Kit (KDK)

  •        79

Build your own os, with the help of Kernel Developent Kit. With minimal Assembly and C code, around 99.9% of the code is written in C++ using object oriented design.



Related Projects

Sailfish OS - Mobile Operating System

Sailfish OS is a mobile operating system built on top of Mer project and Qt5. The UI is built with QML and QtQuick2 and Wayland. It is compatible with Android.

Genode - Operating System Framework

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs. For developers, the framework provides an easy way to target multiple different kernels instead of tying the development to a particular kernel technology.

Minix - Operating System by Andrew S. Tanenbaum

MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a collection of isolated, protected, processes in user mode.


SDL REFLEX is the micro kernel of a real time operating system for the AVR microcontroller family. The kernel is especially designed to implement systems described in SDL ? ?The Specification and Description Language? . Compiler GNU ANSI-C for AVR v.3.3

Agnix Embedded Real-time OS Kernel

Agnix is an educational, network operating system kernel. It is ideal starting point to learn about operating systems. The main goal of the project is to provide a network kernel fully compatible with the Linux Kernel in the system call layer

uCLinux - Embedded Linux

The original uClinux (you-see-linux) was a derivative of Linux 2.0 kernel intended for microcontrollers without Memory Management Units (MMUs). However, the Linux/Microcontroller Project has grown both in brand recognition and coverage of processor architectures. Today's uClinux as an operating system includes Linux kernel releases for 2.0 2.4 and 2.6 as well as a collection of user applications, libraries and tool chains. uClinux is mostly used in Embedded and Gaming device.

darwin-xnu - The Darwin Kernel (mirror)

XNU kernel is part of the Darwin operating system for use in OS X and iOS operating systems. XNU is an acronym for XNU is Not Unix. XNU is a hybrid kernel combining the Mach kernel developed at Carnegie Mellon University with components from FreeBSD and C++ API for writing drivers called IOKit. XNU runs on I386, X86_64 for both single processor and multi-processor configurations. Additionally, there is support for configuring architectures through ARCH_CONFIGS and kernel configurations with KERNEL_CONFIGS.

Joli OS - Cloud Operating System

Joli OS is a full OS replacement for old PC, turning your aging computer into a next generation cloud device. It is designed around the Jolidrive HTML5 interface. It comes with more than 1500 apps. It is designed for the cloud but works great offline too.

Firefox OS - Operating System for Mobile, Tablet and Smart TV

Firefox OS is a Linux kernel-based Operating System for smartphones and tablet computers and Smart TVs.

SImple Microkernel Distributed OS

SIMDOS stands for SImple Microkernel Distributed Operating System. SIMDOS is a micro-kernel based operating system which implements the concepts of Distributed Shared Memory at the kernel level to provide seemless addition on cluster nodes.

Devil Linux - Linux for Sys Admin

Devil-Linux is a CD-based Linux distribution for firewalls and routers. The goal of Devil-Linux is to have a small, customizable and secure Linux. It could boot from CDROM or USB flash drive. Its main purpose is to be used as server for many applications. It doesn't have any GUI or XServer related stuff. It is mainly targeted for Sys Admin.

CLINT Command Interface to System Calls

System calls command line utilties for Linux and all POSIX based operating systems. Allows direct command line access to many popular kernel system calls in text format. Makes a great internals teaching tool for operating systems.

TORO kernel

TORO is a kernel written as a RTL library for FPC compiler. The application is compiled without Operative System layer in a unique binary. Hence, The application can run alone in the system with a minimal kernel services like multithreading, VFS, Stack tpc-ip and more. It is distributed under GNU/Linux General Public License.

Real VMX

Real VMX is a VxWorks like operating system kernel released under LGPL. It should support multiple hardware architectures, only i386 support now. Help wanted with ports to other architectures. Development is done on Linux with the GNU gcc compiler.

Nemesis Real Time OS Kernel

Nemesis is a tiny real time operating system kernel based on x86 PCs. Its main purpose is to serve as a simple but realistic example of an real time OS kernel running on real hardware..the purpose of this is that it can be embedded in small devices lik

RancherOS - Tiny Linux distro that runs the entire OS as Docker containers

RancherOS is a minimalist Linux distribution perfect for running Docker containers. It runs Docker directly on top of the kernel and delivers Linux services as containers. It includes only the services needed to run Docker. RancherOS reduces the hassle with updating, patching, and maintaining your container host operating system.

Trion Operating System

The Trion Object Oriented Operating system is an OS that is designed to meet the needs for the 21st century, with a kernel written in C++ and modelled in UML, and lots of features. The project is run by a team of community members.

Prex Embedded Real-time OS

Prex is a portable real-time operating system for embedded systems. The small, reliable and low power kernel is written in C language based on micro kernel design. File system, UNIX process and networking features are provided by user mode tasks.