ghaerr/elks: Embeddable Linux Kernel Subset - Linux for 8086
Embeddable Linux Kernel Subset - Linux for 8086. Contribute to ghaerr/elks development by creating an account on GitHub.
Frogging-Family/linux-tkg · GitHub
linux-tkg custom kernels. Contribute to Frogging-Family/linux-tkg development by creating an account on GitHub.
thepowersgang/rust_os · GitHub
An OS kernel written in rust. Non POSIX. Contribute to thepowersgang/rust_os development by creating an account on GitHub.
linux-surface/linux-surface · GitHub
Linux Kernel for Surface Devices. Contribute to linux-surface/linux-surface development by creating an account on GitHub.
littlekernel/lk: LK embedded kernel
LK embedded kernel. Contribute to littlekernel/lk development by creating an account on GitHub.
openharmony/kernel_liteos_m · GitHub
LiteOS kernel for devices with few resources| such as the MCU | 适用于MCU等各种资源极小设备的LiteOS内核 - GitHub - openharmony/kernel_liteos_m: LiteOS kernel for devices with few resources| such as the MCU | 适用于M...
apple-oss-distributions/xnu · GitHub
Contribute to apple-oss-distributions/xnu development by creating an account on GitHub.
CachyOS/linux-cachyos · GitHub
Archlinux Kernel based on different schedulers and some other performance improvements. - GitHub - CachyOS/linux-cachyos: Archlinux Kernel based on different schedulers and some other performance i...
arighi/PastaOS · GitHub
PastaOS is a simple open-source kernel written from scratch for didactic purposes - GitHub - arighi/pastaos: PastaOS is a simple open-source kernel written from scratch for didactic purposes