Skip to content
@C4-OS

C4-OS

Pinned Loading

  1. C4-kernel C4-kernel Public

    L4-like microkernel

    C 1 1

  2. C4-OS C4-OS Public

    Top-level repository for the C4 operating system

    C 1

Repositories

Showing 8 of 8 repositories
  • C4-OS Public

    Top-level repository for the C4 operating system

    C4-OS/C4-OS’s past year of commit activity
    C 1 0 0 0 Updated Dec 4, 2023
  • musl Public

    Port of the musl libc

    C4-OS/musl’s past year of commit activity
    C 0 0 0 0 Updated Feb 17, 2019
  • sigma0 Public

    The initial task which brings up the system

    C4-OS/sigma0’s past year of commit activity
    C 0 0 0 0 Updated Feb 17, 2019
  • C4-kernel Public

    L4-like microkernel

    C4-OS/C4-kernel’s past year of commit activity
    C 1 1 0 0 Updated Feb 15, 2019
  • rumprun Public Forked from rumpkernel/rumprun

    The Rumprun unikernel and toolchain for various platforms

    C4-OS/rumprun’s past year of commit activity
    C 0 134 0 0 Updated Apr 8, 2018
  • initprogs Public

    Some programs to test after booting, this will probably be removed later

    C4-OS/initprogs’s past year of commit activity
    C 1 0 0 0 Updated Jan 31, 2017
  • nameserver Public

    Hierarchical name to service resolver

    C4-OS/nameserver’s past year of commit activity
    C 0 1 0 0 Updated Jan 30, 2017
  • c4rt Public

    c4 runtime library

    C4-OS/c4rt’s past year of commit activity
    C 0 0 0 0 Updated Jan 21, 2017

Top languages

Loading…

Most used topics

Loading…