Skip to content

@codelabs-ch codelabs

Change the repository type filter

All

    Repositories list

    25 repositories

    • mugenhwcfg-live

      Public
      Debian Live system for running mugenhwcfg
      Shell
      •
      BSD 2-Clause "Simplified" License
      •1•0•0•0•Updated Mar 4, 2026Mar 4, 2026

    • bob-muen

      Public
      Official mirror of the Bob recipes layer for Muen
      Shell
      •0•2•0•0•Updated Mar 4, 2026Mar 4, 2026

    • muen-tools

      Public
      Official mirror of the Muen Separation Kernel tools repository
      Ada
      •0•0•0•0•Updated Mar 4, 2026Mar 4, 2026

    • muen

      Public
      Official mirror of the Muen Separation Kernel repository
      Ada
      •
      Other
      •14•95•0•0•Updated Mar 4, 2026Mar 4, 2026

    • perfcharts-muen

      Public
      Muen performance charts (debug build)
      JavaScript
      •0•1•0•0•Updated Mar 3, 2026Mar 3, 2026

    • linux

      Public
      Mirror of Linux kernel with Muen SK support
      C
      •
      Other
      •61k•1•0•0•Updated Mar 3, 2026Mar 3, 2026

    • basement-gnu-linux

      Public
      C
      •
      Other
      •12•0•0•0•Updated Feb 18, 2026Feb 18, 2026

    • grub2

      Public
      Mirror of the GRUB2 repository
      C
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Feb 11, 2026Feb 11, 2026

    • coreboot

      Public
      github mirror of coreboot.org's master repository
      C
      •
      GNU General Public License v2.0
      •598•0•0•0•Updated Dec 2, 2025Dec 2, 2025

    • pyxb

      Public
      Python XML Schema Bindings
      Python
      •
      Apache License 2.0
      •73•0•0•0•Updated Nov 27, 2025Nov 27, 2025

    • arcanist

      Public
      Command line interface for Phabricator
      PHP
      •
      Apache License 2.0
      •470•0•0•0•Updated Nov 24, 2025Nov 24, 2025

    • muen.sk-docker

      Public
      Docker container with toolchain to build muen.sk website (mirror)
      SCSS
      •0•0•0•0•Updated Nov 17, 2025Nov 17, 2025

    • solo5

      Public
      The Solo5 unikernel
      C
      •
      ISC License
      •155•0•0•0•Updated Nov 3, 2025Nov 3, 2025

    • xia

      Public
      XIA - XPath In Ada
      Ada
      •2•2•0•0•Updated Jul 30, 2025Jul 30, 2025

    • u-boot-xlnx

      Public
      Fork of Xilinx u-boot repository
      C
      •845•0•0•0•Updated Mar 26, 2025Mar 26, 2025

    • buildroot-muen

      Public
      Buildroot for Muen SK Linux guests
      Makefile
      •
      Other
      •0•2•0•0•Updated Nov 27, 2024Nov 27, 2024

    • filo

      Public
      Mirror of coreboot's FILO bootloader
      C
      •0•1•0•0•Updated Jun 10, 2024Jun 10, 2024

    • bb-runtimes

      Public
      Source repository for the GNAT Bare Metal BSPs
      Ada
      •
      Other
      •60•0•0•0•Updated May 12, 2023May 12, 2023

    • genode

      Public
      Genode OS Framework
      C++
      •
      Other
      •266•2•0•0•Updated Aug 23, 2021Aug 23, 2021

    • libadalang-tools

      Public
      Libadalang-based tools
      Ada
      •
      GNU General Public License v3.0
      •15•0•0•0•Updated Jun 14, 2021Jun 14, 2021

    • libphutil

      Public
      A collection of PHP utility classes
      C++
      •
      Apache License 2.0
      •264•0•0•0•Updated May 5, 2020May 5, 2020

    • mirage

      Public
      MirageOS is a library operating system that constructs unikernels
      OCaml
      •
      ISC License
      •263•0•0•0•Updated Sep 28, 2018Sep 28, 2018

    • gnatcoll

      Public
      GNAT Components Collection – Core packages
      Ada
      •
      Other
      •34•0•0•0•Updated May 8, 2018May 8, 2018

    • ocaml-freestanding

      Public
      Freestanding OCaml runtime
      C
      •
      Other
      •32•0•0•0•Updated Nov 25, 2017Nov 25, 2017

    • xv6-muen

      Public
      xv6 teaching OS with adaptations for Muen SK
      C
      •
      Other
      •1•1•0•0•Updated Oct 3, 2013Oct 3, 2013