descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 20 Mar 2023 16:43:33 +0000 (17:43 +0100)
shortlog
7 days ago Reto BuerkiGHA: Use GitHub Container registry for docker images devel
7 days ago Reto Buerkidoc: Update docker pull commands
7 days ago Reto BuerkiAdd architecture example image to doc folder
7 days ago Reto BuerkiAdd README.adoc symlink
7 days ago Reto BuerkiGHA: Only save caches if on devel branch
7 days ago Reto BuerkiGHA: Also run mirageos workflow if config changes
7 days ago Reto BuerkiGHA: Use GitHub Container registry for docker images
2023-02-09 Johannes GreinerTools: Increase test coverage and fix minor bugs
2023-02-09 Johannes GreinerTools: Minor fixes for revision
2023-02-09 Johannes GreinerTools: Increase test coverage
2023-02-09 Johannes GreinerTools: Add convenience features for debug-log
2023-02-09 Johannes GreinerTools: Fix bug in libmutools-xmldebuglog
2023-02-09 Johannes GreinerTools: Fix missing output in mucgenspec
2023-02-08 Adrian-Ken... Various documentation updates for version 0.7.1
2023-02-08 Adrian-Ken... README: Update Copyright year
2023-02-08 Adrian-Ken... Increase component specification doc version to 0.7.1
...
tags
17 months ago v1.0.0 Muen version 1.0.0
3 years ago v0.9.1 Muen version 0.9.1
5 years ago v0.9.0 Muen version 0.9.0
6 years ago v0.8.0 Muen version 0.8.0
7 years ago v0.7.0 Muen version 0.7.0
8 years ago v0.6.0 Muen version 0.6.0
9 years ago doc-print Document print
9 years ago doc-review Document review
heads
7 days ago devel-build-cfg
7 days ago devel-misc-minor
7 days ago devel
4 weeks ago devel-linux-upgrade
4 weeks ago devel-bochs
7 weeks ago devel-qemu-mugenhwcfg
3 months ago devel-pmu
3 months ago devel-desktop
3 months ago devel-linux-kasan
5 months ago devel-tools-fuzzing
11 months ago devel-validator-channels
15 months ago devel-bash-sete
17 months ago master
18 months ago devel-xhci-debug-vga
21 months ago devel-subject-init
2 years ago devel-ibpb
...