Skip to content
@SEL4PROJ

SEL4PROJ

Projects related to the seL4 microkernel

Pinned Loading

  1. AOS AOS Public

    Advanced Operating Systems project

    C 21 18

  2. AOS-manifest AOS-manifest Public

    Advanced Operating Systems project manifest

    16 6

Repositories

Showing 10 of 62 repositories
  • AOS Public

    Advanced Operating Systems project

    SEL4PROJ/AOS's past year of commit activity
    C 21 18 1 2 Updated Sep 19, 2025
  • AOS-manifest Public

    Advanced Operating Systems project manifest

    SEL4PROJ/AOS-manifest's past year of commit activity
    16 6 0 0 Updated Sep 6, 2025
  • channel-bench Public
    SEL4PROJ/channel-bench's past year of commit activity
    C 2 4 0 1 Updated Apr 14, 2023
  • sel4_riscv_vmm Public

    An experimental RISCV VMM based on seL4 with RISCV hypervisor extension.

    SEL4PROJ/sel4_riscv_vmm's past year of commit activity
    C 8 6 0 0 Updated Oct 3, 2022
  • sel4-riscv-vmm-manifest Public

    Manifest for building an experimental RISCV VMM

    SEL4PROJ/sel4-riscv-vmm-manifest's past year of commit activity
    4 6 0 0 Updated Sep 23, 2022
  • libnfs Public Forked from sahlberg/libnfs

    NFS client library

    SEL4PROJ/libnfs's past year of commit activity
    C 0 251 0 0 Updated Apr 8, 2022
  • sel4-riscv-vmm-linux-5.2 Public

    Linux kernel/config used for the experimental seL4 RISC-V VMM

    SEL4PROJ/sel4-riscv-vmm-linux-5.2's past year of commit activity
    C 0 0 0 0 Updated Mar 23, 2022
  • sel4-github Public

    github scripts for sel4-related tasks.

    SEL4PROJ/sel4-github's past year of commit activity
    Shell 0 1 0 0 Updated Jan 19, 2021
  • tlb Public

    Formal Isabelle/HOL model of the ARMv7 TLB

    SEL4PROJ/tlb's past year of commit activity
    Isabelle 3 3 0 0 Updated Feb 17, 2020
  • imagesh Public

    A shell to put users into rootless containers

    SEL4PROJ/imagesh's past year of commit activity
    Python 0 GPL-3.0 1 0 0 Updated Feb 7, 2020
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…