MiROS (Minimal Real-Time Operating System) for ARM Cortex-M

GPL source code to Caesium kernel for OnePlus 3/3T

Kernels for Redmi Note 8 Pro (Begonia)

A 32bit multiboot OS kernel for IA32 (PC/AT) systems.

An x86 32 biit Operating System for 386, 486, Pentium class (P-60 to 233MHz, Pentium II, P3, P4, etc)

Jose's Operating System (my own operating system!)

Collection of Linux Kernel Modules for educational purposes, showcasing the creation and management of linked lists, timers, and workqueues within the kernel space.

Simple C/C++ Library for creating Hobby OS Kernels

Basic kernel boilerplate

Simple kernel made in C and Assembly

A CUDA-like runtime API and system for NEC's SX-AURORA TSUBASA.

Fun project to learn C, Assambly x86 and how Kernels work

Dumps of kernel sources from the conformance test runs residing in OpenCL-CTS repo

Operating System Micro-kernel designed for IA-32 Arch.

Test of simple kernel with apps in C

Writing a hobby operating system from scratch.

A ring-0 kernel

Our task was to implement a kernel using C, ensuring it could handle I/O, CPU protection modes, and run secure user-level processes. Specifically, the following needed to implemented and configured: The Scheduler, Messaging, User-Level Processes, and Device Drivers

The core idea behind kernel hardening is this: we will never be able to get all of the security bugs out of our code, especially when we're dealing with a large and fast-moving program like the kernel. Beyond that, even when we fix security bugs, those fixes don't get out to the affected users; think of all the Android devices with no security.