Sistemas operativos

Código fuente de kernels y distribuciones de sistemas operativos.

Repositories

El kernel de Linux es el núcleo del sistema operativo, creado por Linus Torvalds en 1991. Gestiona recursos de hardware, planificación de procesos y memoria. Compatible con múltiples arquitecturas, es el kernel de código abierto más utilizado del mundo, impulsando desde servidores y escritorios hasta dispositivos Android y supercomputadoras.

C
220.6k

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.6k

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

C
8.9k

A free Windows-compatible Operating System

C
17.1k

Mirror of https://gitlab.redox-os.org/redox-os/redox

Rust
16.1k
bottlerocket-os/bottlerocket

An operating system designed for hosting containers

Rust
9.5k