Live linux distro combined in one ~20MB file. Runs on any UEFI computer.

Heterogenous distributed computing cluster in linux systems based on grid computing and docker swarm. Performance checking by mpi - matrix multiplication algorithm.

Kernel sources of the Katya ® 👽 OS for the Pixel 6, Pixel 6 Pro, Pixel 6a, Pixel 7, Pixel 7 Pro, Pixel 7a, Pixel Tablet and Pixel Fold. These sources are only used to build device-specific modules. The Generic Kernel Image is built from the common kernel.

A Linux distribution with ChromeOS-like updates (AB partition scheme) - WIP.

The core idea behind kernel hardening is this: we will never be able to get all of the security bugs out of our code, especially when we're dealing with a large and fast-moving program like the kernel. Beyond that, even when we fix security bugs, those fixes don't get out to the affected users; think of all the Android devices with no security.

Source Code for the Fidelix Linux Distribution

The implementation of systems calls, lock, Virtual Memory and other file system implementation on OS161

A IPC library based on Posix thread and Posix message queue.

(INACTIVE) A(n almost) GNU-free Linux distribution - Repositories

This is a Mini OS based on Linux include kernel/rootfs and some essential libraries and daemons.

An experimental Linux distribution based on KISS Linux. Runs on various architectures and allows cross-compilation.

ESI Linux is a linux distribution made for ESI-SBA ( Ecole supérieure d'informatique - Sidi Bel Abbes) students particularly, it provides all the necessary tools for their curriculum

Linux Driver Management

Helper for enabling better Steam integration on Linux

Kernel & Boot Loader Management

KISS Linux - Official Repositories