mateolafalce/linux-rs

A complete reimplementation of the Linux kernel in Rust code, with a focus on the x86_64 architecture. Ensuring memory safety, secure concurrency and parallelism with powerful abstractions without loss of performance improving kernel maintainability and readability.

GitLab repository with 5 stars and 0 forks.

Topics: kernel, linux-rs, rust

Open provider repository

Latest metric snapshot

2026-06-05: 5 stars and 0 forks.

Similar repositories

  1. 1. xanmod/linux

    https://xanmod.org

    GitLab repository with 56 stars and 22 forks.

    Trending score: 0.16; stars gained: +0; forks gained: +0.

    Language: C

    Topics: kernel, linux, preemptive, realtime, xanmod

  2. 2. weinholt/loko

    Optimizing Scheme compiler for Linux, NetBSD and bare hardware. https://scheme.fail/

    GitLab repository with 61 stars and 18 forks.

    Trending score: 0.13; stars gained: +0; forks gained: +1.

    Language: Scheme

    Topics: kernel, r6rs, r7rs, scheme

  3. 3. cki-project/kernel-ark

    The source tree for the Fedora and Always Ready kernels. This repository contains the configurations, build scripts, and downstream patches for both the Fedora kernel and the Always Ready Kernel (ARK). Docs: https://cki-project.gitlab.io/kernel-ark/

    GitLab repository with 82 stars and 456 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Topics: fedora, kernel, linux, red hat

  4. 4. sdm845-mainline/linux

    Linux mainline fork with SDM845 patches, currently supported devices: OnePlus 6/6T, Xiaomi Pocophone F1

    GitLab repository with 69 stars and 96 forks.

    Trending score: 0.01; stars gained: +0; forks gained: +0.

    Topics: android, kernel, linux, mainline, sdm845

  5. 5. bztsrc/bootboot

    BOOTBOOT multi platform micro-kernel loader.

    GitLab repository with 63 stars and 30 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: C

    Topics: ARMv8, FAT, GPT, ISO9660, PE, Risc-V64

Trending topic: kernel

  1. 1. xanmod/linux

    https://xanmod.org

    GitLab repository with 56 stars and 22 forks.

    Trending score: 0.16; stars gained: +0; forks gained: +0.

    Language: C

    Topics: kernel, linux, preemptive, realtime, xanmod

  2. 2. weinholt/loko

    Optimizing Scheme compiler for Linux, NetBSD and bare hardware. https://scheme.fail/

    GitLab repository with 61 stars and 18 forks.

    Trending score: 0.13; stars gained: +0; forks gained: +1.

    Language: Scheme

    Topics: kernel, r6rs, r7rs, scheme

  3. 3. cki-project/kernel-ark

    The source tree for the Fedora and Always Ready kernels. This repository contains the configurations, build scripts, and downstream patches for both the Fedora kernel and the Always Ready Kernel (ARK). Docs: https://cki-project.gitlab.io/kernel-ark/

    GitLab repository with 82 stars and 456 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Topics: fedora, kernel, linux, red hat

  4. 4. sdm845-mainline/linux

    Linux mainline fork with SDM845 patches, currently supported devices: OnePlus 6/6T, Xiaomi Pocophone F1

    GitLab repository with 69 stars and 96 forks.

    Trending score: 0.01; stars gained: +0; forks gained: +0.

    Topics: android, kernel, linux, mainline, sdm845

  5. 5. bztsrc/bootboot

    BOOTBOOT multi platform micro-kernel loader.

    GitLab repository with 63 stars and 30 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: C

    Topics: ARMv8, FAT, GPT, ISO9660, PE, Risc-V64