C Kernel

Open-source C projects categorized as Kernel

Top 23 C Kernel Projects

  • reactos

    A free Windows-compatible Operating System

    Project mention: BREAKING NEWS: Registry healing and validation checks work by George Bisoc has just been merged into main tree! | /r/reactos | 2023-11-22
  • raspberry-pi-os

    Learning operating system development using Linux kernel and Raspberry Pi

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  • rt-thread

    RT-Thread is an open source IoT real-time operating system (RTOS).

    Project mention: 2023 IoT Contest | /r/IOT | 2023-03-27

    The IoT Contest 2023 is organized by Open Source RT-Thread Organization and we Partnered with NXP Semiconductors, STMicroelectronics, and WCH Electronics.

  • windows-kernel-exploits

    windows-kernel-exploits Windows平台提权漏洞集合

    Project mention: Ask HN: Do you use any software (mainly) developed in China? | news.ycombinator.com | 2023-02-27

    This is a big one for me:

    https://github.com/SecWiki/windows-kernel-exploits

    Zoomeye, the chinese shodan is ok too.

  • winfsp

    Windows File System Proxy - FUSE for Windows

    Project mention: WinFsp · Windows File System Proxy | /r/patient_hackernews | 2023-06-16
  • HackSysExtremeVulnerableDriver

    HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux

  • tilck

    A Tiny Linux-Compatible Kernel

    Project mention: Tilck – A Tiny Linux-Compatible Kernel | /r/patient_hackernews | 2023-01-08
  • InfluxDB

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  • pwru

    Packet, where are you? -- eBPF-based Linux kernel networking debugger

    Project mention: GitHub - cilium/pwru: Packet, where are you? -- eBPF-based Linux kernel networking debugger | /r/kernel | 2023-04-20
  • unikraft

    Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

    Project mention: Mirage – A programming framework for building type-safe, modular systems | news.ycombinator.com | 2023-11-23
  • zen-kernel

    Zen Patched Kernel Sources

    Project mention: What Do You Know about Your Linux System? | /r/linuxadmin | 2023-04-08
  • TripleCross

    A Linux eBPF rootkit with a backdoor, C2, library injection, execution hijacking, persistence and stealth capabilities.

  • Diamorphine

    LKM rootkit for Linux Kernels 2.6.x/3.x/4.x/5.x/6.x (x86/x86_64 and ARM64)

    Project mention: GitHub - jafarlihi/modreveal: Utility to find hidden Linux kernel modules | /r/linux | 2023-01-05

    Looks like it can be used to detect the linked rootkit https://github.com/m0nad/Diamorphine

  • xone

    Linux kernel driver for Xbox One and Xbox Series X|S accessories

    Project mention: 8BitDo Controller not working. | /r/SteamDeck | 2023-11-23
  • helenos

    A portable microkernel-based multiserver operating system written from scratch.

  • stress-ng

    This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.

  • minixfromscratch

    Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU

    Project mention: Ask HN: High-quality resources for writing complex systems software? | news.ycombinator.com | 2023-11-05

    Open BSD software source.

    UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads 2nd Edition by K Robbins and S. Robbins

    minix from scrath [0]; linux from scratch[1];

    [1] : https://www.linuxfromscratch.org/

    [0] : https://github.com/o-oconnell/minixfromscratch

  • h-encore

    Fully chained kernel exploit for the PS Vita on firmwares 3.65-3.68

  • embox

    Modular and configurable OS for embedded applications

    Project mention: Release v0.5.9.10 · embox/embox | /r/embedded | 2023-07-01

    Embox is a configurable RTOS designed for resource constrained and embedded systems. Embox main idea is using Linux software without Linux. (https://embox.github.io/ ) If you want use complex Linux Software and Linux is huge for your goals. Embox is the best idea, as I think. For example Embox is the only RTOS that allows to use OpenCV on Cortex-m MCUs https://www.embedded.com/benchmarking-opencv-on-stm32-mcus/

  • brutal

    🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

    Project mention: GNU/Hurd strikes back: How to use the legendary OS in a (somewhat) practical way | news.ycombinator.com | 2023-08-07

    Even in the noncommercial world, Hurd's gone precisely nowhere. RedoxOS is a toy and had a GUI within a year or so. Brutal got in within two. SerenityOS not only built a GUI but the beginnings of the first greenfield web browser to gain any semblance of modern standards support in the past several decades. Honestly, what's Hurd doing wrong to flounder so hard?

    [0] https://github.com/redox-os/redox/releases/tag/0.0.3

    [1] https://github.com/brutal-org/brutal/releases

    [2] https://serenityos.org/happy/1st/

  • winix

    A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)

  • phantomuserland

    Phantom: Persistent Operating System

  • elks

    Embeddable Linux Kernel Subset - Linux for 8086

    Project mention: SIIG MiniSys S286 Small Form Factor PC | news.ycombinator.com | 2023-11-27

    Roughly in the mid-90s I bought at a local surplus store a "Carry 1" industrial 8088 computer which to my surprise I later discovered it could run Linux (ELKS: https://github.com/ghaerr/elks). I ultimately sold it on Ebay because although it was a beautiful piece of old tech, I was struggling to find more space for other things.

    Here's one. I had only the central unit, mine had two floppy drives.

  • linux

    XanMod: Linux kernel source code tree (by xanmod)

    Project mention: Have any Linux users trialed other distros or do you only stick to Fedora/Arch? | /r/ZephyrusG15 | 2023-07-12

    Still a bit of a noob. I haven't heard of that one. Do you mean this: https://xanmod.org/? Is there any stability or compatibility issues that come with it?

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-11-27.

C Kernel related posts

Index

What are some of the best open-source Kernel projects in C? This list will help you:

Project Stars
1 reactos 13,471
2 raspberry-pi-os 12,584
3 rt-thread 9,004
4 windows-kernel-exploits 7,418
5 winfsp 6,181
6 HackSysExtremeVulnerableDriver 2,192
7 tilck 2,170
8 pwru 2,129
9 unikraft 1,740
10 zen-kernel 1,725
11 TripleCross 1,595
12 Diamorphine 1,487
13 xone 1,305
14 helenos 1,242
15 stress-ng 1,222
16 minixfromscratch 1,152
17 h-encore 1,047
18 embox 1,030
19 brutal 1,016
20 winix 928
21 phantomuserland 871
22 elks 847
23 linux 824
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com