Skip to content
Change the repository type filter

All

    Repositories list

    • muen

      Public
      Official mirror of the Muen Separation Kernel repository
      Ada
      Other
      148000Updated Nov 19, 2024Nov 19, 2024
    • Official mirror of the Muen Separation Kernel tools repository
      Ada
      0000Updated Nov 19, 2024Nov 19, 2024
    • Muen performance charts (debug build)
      JavaScript
      0100Updated Nov 19, 2024Nov 19, 2024
    • linux

      Public
      Mirror of Linux kernel with Muen SK support
      C
      Other
      54k100Updated Sep 23, 2024Sep 23, 2024
    • Buildroot for Muen SK Linux guests
      Makefile
      Other
      0100Updated Sep 9, 2024Sep 9, 2024
    • arcanist

      Public
      Command line interface for Phabricator
      PHP
      Apache License 2.0
      462000Updated Aug 26, 2024Aug 26, 2024
    • grub2

      Public
      Mirror of the GRUB2 repository
      C
      GNU General Public License v3.0
      0000Updated Aug 22, 2024Aug 22, 2024
    • filo

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

      Public
      github mirror of coreboot.org's master repository
      C
      GNU General Public License v2.0
      537000Updated Jun 6, 2024Jun 6, 2024
    • Debian Live system for running mugenhwcfg
      Shell
      BSD 2-Clause "Simplified" License
      1000Updated Apr 8, 2024Apr 8, 2024
    • solo5

      Public
      The Solo5 unikernel
      C
      ISC License
      141000Updated Feb 28, 2024Feb 28, 2024
    • Fork of Xilinx u-boot repository
      C
      788000Updated Dec 12, 2023Dec 12, 2023
    • Source repository for the GNAT Bare Metal BSPs
      Ada
      Other
      51000Updated May 12, 2023May 12, 2023
    • Docker container with toolchain to build muen.sk website (mirror)
      SCSS
      0000Updated Mar 20, 2023Mar 20, 2023
    • pyxb

      Public
      Python XML Schema Bindings
      Python
      Apache License 2.0
      74000Updated Dec 14, 2021Dec 14, 2021
    • genode

      Public
      Genode OS Framework
      C++
      Other
      254200Updated Aug 23, 2021Aug 23, 2021
    • Libadalang-based tools
      Ada
      GNU General Public License v3.0
      14000Updated Jun 14, 2021Jun 14, 2021
    • xia

      Public
      XIA - XPath In Ada
      Ada
      1200Updated Feb 19, 2021Feb 19, 2021
    • libphutil

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

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

      Public
      GNAT Components Collection – Core packages
      Ada
      Other
      30000Updated May 8, 2018May 8, 2018
    • Freestanding OCaml runtime
      C
      Other
      30000Updated Nov 25, 2017Nov 25, 2017
    • xv6-muen

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