Operating Systems
Source code for operating system kernels and distributions.
Repositories
torvalds / linux
Linux kernel source tree
C
216.3k
raspberrypi / linux
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
C
12.5k
freebsd / freebsd-src
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
C
8.8k
reactos / reactos
A free Windows-compatible Operating System
C
17.0k
mit-pdos / xv6-public
xv6 OS
C
9.2k
redox-os / redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
Rust
16.0k
bottlerocket-os / bottlerocket
An operating system designed for hosting containers
Rust
9.5k