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. Learn more →
Top 23 C Kernel Projects
A free Windows-compatible Operating SystemProject mention: BREAKING NEWS: Registry healing and validation checks work by George Bisoc has just been merged into main tree! | /r/reactos | 2023-11-22
Learning operating system development using Linux kernel and Raspberry Pi
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 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平台提权漏洞集合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:
Zoomeye, the chinese shodan is ok too.
Windows File System Proxy - FUSE for WindowsProject mention: WinFsp · Windows File System Proxy | /r/patient_hackernews | 2023-06-16
HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux
A Tiny Linux-Compatible KernelProject mention: Tilck – A Tiny Linux-Compatible Kernel | /r/patient_hackernews | 2023-01-08
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.
Packet, where are you? -- eBPF-based Linux kernel networking debuggerProject mention: GitHub - cilium/pwru: Packet, where are you? -- eBPF-based Linux kernel networking debugger | /r/kernel | 2023-04-20
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 Patched Kernel SourcesProject mention: What Do You Know about Your Linux System? | /r/linuxadmin | 2023-04-08
A Linux eBPF rootkit with a backdoor, C2, library injection, execution hijacking, persistence and stealth capabilities.
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
Linux kernel driver for Xbox One and Xbox Series X|S accessoriesProject mention: 8BitDo Controller not working. | /r/SteamDeck | 2023-11-23
A portable microkernel-based multiserver operating system written from scratch.
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.
Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMUProject 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 ; linux from scratch;
Fully chained kernel exploit for the PS Vita on firmwares 3.65-3.68
Modular and configurable OS for embedded applicationsProject 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/
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineeringProject 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?
A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)
Phantom: Persistent Operating System
Embeddable Linux Kernel Subset - Linux for 8086Project 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.
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 - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
C Kernel related posts
8BitDo Controller not working.
1 project | /r/SteamDeck | 23 Nov 2023
BREAKING NEWS: Registry healing and validation checks work by George Bisoc has just been merged into main tree!
1 project | /r/reactos | 22 Nov 2023
ReactOS Newsletter 103 – Late 2023 News
1 project | news.ycombinator.com | 5 Nov 2023
Ask HN: High-quality resources for writing complex systems software?
1 project | news.ycombinator.com | 5 Nov 2023
How to install self compiled modules
1 project | /r/debian | 8 Sep 2023
Microsoft Edge is starting to annoy me big time
2 projects | news.ycombinator.com | 3 Sep 2023
What font is thls?
1 project | /r/fonts | 12 Jul 2023
A note from our sponsor - Onboard AI
getonboard.dev | 2 Dec 2023
What are some of the best open-source Kernel projects in C? This list will help you: