codelabs-ch/muen codelabs-ch/muen

  • Stars
    star
    80
  • Rank 404,329 (Top 8 %)
  • Language
    Ada
  • License
    Other
  • Created almost 7 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
codelabs-ch/muen
github

codelabs-ch

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Official mirror of the Muen Separation Kernel repository

More Repositories

1

xia

XIA - XPath In Ada
Ada
2
star
2

filo

Mirror of coreboot's FILO bootloader
C
1
star
3

xv6-muen

xv6 teaching OS with adaptations for Muen SK
C
1
star
4

perfcharts-muen

Muen performance charts (debug build)
JavaScript
1
star
5

buildroot-muen

Buildroot for Muen SK Linux guests
Makefile
1
star