colorglass

free-programming-books

:books: Freely available programming books

cs-video-courses

List of Computer Science courses with video lectures.

awesome-courses

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

zephyr

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

xmake

🔥 A cross-platform build utility based on Lua

pdfs

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

tiny-gpu

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

seL4

The seL4 microkernel

egos-2000

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

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

zCore

Zircon microkernel reimplemented in Rust.

awesome-os

A list of operating systems and stuff

optee_os

Trusted side of the TEE

moros

MOROS: Obscure Rust Operating System 🦉

mlibc

Portable C standard library

onix

Onix - 操作系统实现

arc_unpacker

CLI tool for extracting images and sounds from visual novels.

Zeal-8-bit-OS

An Operating System for Z80 computers, written in assembly

Osdev-Notes

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

Fiwix

A UNIX-like kernel for the i386 architecture

virtio-drivers

VirtIO guest drivers in Rust.

SExtractor

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

rust-sel4

Rust support for seL4 userspace

microkit

Microkit - A simple operating system framework for the seL4 microkernel

Keyronex

The Keyronex Operating System

charlotte-core

The Kernel of CharlotteOS

chaotix

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

libvmm

An experimental virtual machine monitor for the seL4 microkernel

seL4_projects_libs

ext2-boot

Open source ext2/ELF32 bootloader