Skip to content
@MicroKosmTeam

MicroKosm

The MicroKosm Ecosystem

Welcome! More info coming soon.

Popular repositories Loading

  1. microk microk Public

    A reliable microkernel that is intended for every use on every device

    C 9

  2. microk-mkmi microk-mkmi Public

    C++ 1

  3. microk-kernel microk-kernel Public

    PHP 1

  4. microk-crosscompiler microk-crosscompiler Public

    Cross compiler for the MicroKosm operating system

    Shell 1

  5. microk-mlibc microk-mlibc Public

    Forked from managarm/mlibc

    Portable C standard library, ported to MicroKosm

    C

  6. .github .github Public

Repositories

Showing 10 of 21 repositories
  • microk-kernel Public
    MicroKosmTeam/microk-kernel’s past year of commit activity
    PHP 1 GPL-2.0 0 0 0 Updated Jan 23, 2025
  • microk-mkmi Public
    MicroKosmTeam/microk-mkmi’s past year of commit activity
    C++ 1 GPL-2.0 0 0 0 Updated Dec 23, 2024
  • microk Public

    A reliable microkernel that is intended for every use on every device

    MicroKosmTeam/microk’s past year of commit activity
    C 9 GPL-2.0 0 0 0 Updated Dec 14, 2024
  • genode Public Forked from genodelabs/genode

    Genode OS Framework

    MicroKosmTeam/genode’s past year of commit activity
    C++ 0 260 0 0 Updated Dec 4, 2024
  • mlibc Public Forked from managarm/mlibc

    Portable C standard library

    MicroKosmTeam/mlibc’s past year of commit activity
    C 0 179 0 0 Updated Nov 30, 2024
  • MicroKosmTeam/MicroKosmTeam.github.io’s past year of commit activity
    Ruby 0 0 0 0 Updated Sep 2, 2024
  • MicroKosmTeam/cross-compiler’s past year of commit activity
    Shell 0 GPL-2.0 0 0 0 Updated Mar 29, 2024
  • microk-module-template Public template

    A template for develping modules for the MicroKosm operating system

    MicroKosmTeam/microk-module-template’s past year of commit activity
    Makefile 0 0 0 0 Updated Dec 27, 2023
  • microk-user-module Public

    The main user module for your MicroKosm operating system

    MicroKosmTeam/microk-user-module’s past year of commit activity
    C++ 0 0 0 0 Updated Dec 27, 2023
  • microk-pci-module Public

    PCI bus module for your MicroKosm operating system

    MicroKosmTeam/microk-pci-module’s past year of commit activity
    C++ 0 0 0 0 Updated Dec 27, 2023

People

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

Top languages

Loading…

Most used topics

Loading…