Kernel Development Kit (KDK)

  •        82

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.

http://kdk.codeplex.com/

Tags
Implementation
License
Platform

   




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


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.

redox - Redox: A Rust Operating System


Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable, and free. Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD. Redox is not just a kernel, it's a full-featured Operating System, providing packages (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. You can loosely think of it as the GNU or BSD ecosystem, but in a memory safe language and with modern technology. See this list for overview of the ecosystem.

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.

reactos - A free Windows-compatible Operating System


ReactOS™ is an Open Source effort to develop a quality operating system that is compatible with applications and drivers written for the Microsoft® Windows™ NT family of operating systems (NT4, 2000, XP, 2003, Vista, Seven). The ReactOS project, although currently focused on Windows Server 2003 compatibility, is always keeping an eye toward compatibility with Windows Vista and future Windows NT releases.

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.

interim - The Interim Operating System


Interim OS is a radical new operating system with a focus on minimalism. It steals conceptually from Lisp machines (language-based kernel) and Plan 9 (everything is a file system). It boots to a JITting Lisp-like REPL and offers the programmer/user the system's resources as filesystems. Detailed docs are in docs/index.html.

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.