colorglass

tiny-gpu

A minimal GPU design in Verilog to learn how GPUs work from the ground up

xmake

🔥 A cross-platform build utility based on Lua

moros

MOROS: Obscure Rust Operating System 🦉

SExtractor

从GalGame脚本提取和导入文本（大部分需要明文）

charlotte-core

The Kernel of CharlotteOS

arc_unpacker

CLI tool for extracting images and sounds from visual novels.

free-programming-books

:books: Freely available programming books

pdfs

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

virtio-drivers

VirtIO guest drivers in Rust.

microkit

Microkit - A simple operating system framework for the seL4 microkernel

libvmm

An experimental virtual machine monitor for the seL4 microkernel

optee_os

Trusted side of the TEE

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

seL4_projects_libs

rust-sel4

Rust support for seL4 userspace

awesome-courses

:books: List of awesome university courses for learning Computer Science!

cs-video-courses

List of Computer Science courses with video lectures.

awesome-os

A list of operating systems and stuff

onix

Onix - 操作系统实现

egos-2000

Envision a future where every student can read all the code of a teaching operating system.

mlibc

Portable C standard library

Keyronex

The Keyronex Operating System

Osdev-Notes

A set of tutorials (notes) organized as a book that explore how to write an Operating System from scratch

ext2-boot

Open source ext2/ELF32 bootloader

Fiwix

A UNIX-like kernel for the i386 architecture

chaotix

The chaotix operating system! (Previously known as Magma or Psychix)

seL4

The seL4 microkernel

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Zeal-8-bit-OS

An Operating System for Z80 computers, written in assembly

zCore

Zircon microkernel reimplemented in Rust.