codelabs

codelabs High Assurance Systems

Switzerland

Pinned Repositories

buildroot-muen
Buildroot for Muen SK Linux guests
Language:Makefile1 5 00
filo
Mirror of coreboot's FILO bootloader
Language:C1 4 00
genode
Genode OS Framework
Language:C++2 9 00
linux
Mirror of Linux kernel with Muen SK support
Language:C1 6 05
mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml0 4 01
muen
Official mirror of the Muen Separation Kernel repository
Language:Ada82 11 014
perfcharts-muen
Muen performance charts (debug build)
Language:JavaScript1 3 00
solo5
The Solo5 unikernel
Language:C0 5 02
xia
XIA - XPath In Ada
Language:Ada2 5 01
xv6-muen
xv6 teaching OS with adaptations for Muen SK
Language:C1 4 01

codelabs's Repositories

codelabs-ch/muen
Official mirror of the Muen Separation Kernel repository
Language:Ada82 11 014
codelabs-ch/genode
Genode OS Framework
Language:C++2 9 00
codelabs-ch/xia
XIA - XPath In Ada
Language:Ada2 5 01
codelabs-ch/buildroot-muen
Buildroot for Muen SK Linux guests
Language:Makefile1 5 00
codelabs-ch/filo
Mirror of coreboot's FILO bootloader
Language:C1 4 00
codelabs-ch/linux
Mirror of Linux kernel with Muen SK support
Language:C1 6 05
codelabs-ch/perfcharts-muen
Muen performance charts (debug build)
Language:JavaScript1 3 00
codelabs-ch/xv6-muen
xv6 teaching OS with adaptations for Muen SK
Language:C1 4 01
codelabs-ch/gnatcoll
GNAT Components Collection – Core packages
Language:Ada0 4 00
codelabs-ch/mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml0 4 01
codelabs-ch/solo5
The Solo5 unikernel
Language:C0 5 02
codelabs-ch/arcanist
Command line interface for Phabricator
Language:PHP4 0
codelabs-ch/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
Language:Ada1 0
codelabs-ch/coreboot
github mirror of coreboot.org's master repository
Language:C2 0
codelabs-ch/grub2
Mirror of the GRUB2 repository
Language:C4 0
codelabs-ch/libadalang-tools
Libadalang-based tools
Language:Ada1 0
codelabs-ch/libphutil
A collection of PHP utility classes
Language:C++4 0
codelabs-ch/muen.sk-docker
Docker container with toolchain to build muen.sk website (mirror)
Language:SCSS3 0
codelabs-ch/mugenhwcfg-live
Debian Live system for running mugenhwcfg
Language:Shell
codelabs-ch/ocaml-freestanding
Freestanding OCaml runtime
Language:C4 0
codelabs-ch/pyxb
Python XML Schema Bindings
Language:Python1 0
codelabs-ch/u-boot-xlnx
Fork of Xilinx u-boot repository
Language:C1 0