]> git.codelabs.ch Git - muen.git/summary
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 25 Sep 2023 15:50:24 +0000 (17:50 +0200)
59 min ago Adrian-Ken... Update MirageOS/Solo5 to v0.8.0 devel
103 min ago Adrian-Ken... Gracefully handle missing file in mulog-subject.py
103 min ago Adrian-Ken... Policy: Conditionally add MirageOS/Solo5 reset event
103 min ago Adrian-Ken... scripts: Add --disable-reset param to solo5-muen-gencsp...
103 min ago Adrian-Ken... Muinit: Align stack to 16 bytes on call to init_main
6 hours ago Reto BuerkiDocker: Update mirageos to mirage 4.4
6 hours ago Reto Buerkimirage-solo5: Reset unikernel on solo5 exit
6 hours ago Adrian-Ken... doc: Update MirageOS article
6 hours ago Adrian-Ken... Docker: Use Solo5 release v0.8.0
6 hours ago Adrian-Ken... Increase Solo5 ABI version to 3
6 hours ago Adrian-Ken... Overwrite the .interp section of Solo5 unikernels with...
5 days ago Adrian-Ken... Rename '.interp+.text' section to text
2023-08-03 Adrian-Ken... Policy: Allow MirageOS access to IA32_FS_BASE MSR
2023-08-03 Adrian-Ken... scripts: Handle Solo5 ELF segments with physical size 0
2023-08-03 Reto BuerkiThree minor fixes to emulate/iso targets and README
2023-06-27 Reto BuerkiREADME: Adjust muen-dev-env.alr documentation
23 months ago v1.0.0 Muen version 1.0.0
4 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
10 years ago doc-print Document print
10 years ago doc-review Document review
51 min ago devel-bookworm
59 min ago devel
3 weeks ago devel-cpu_values
5 weeks ago devel-linux-6.3
5 weeks ago devel-linux-6.2
6 weeks ago devel-linux-6.4
2 months ago devel-unikraft
2 months ago devel-build-cfg
2 months ago devel-desktop
2 months ago devel-linux-kasan
3 months ago devel-armv8a-mugenpt
3 months ago devel-bochs
4 months ago devel-bb-runtimes-64
4 months ago devel-bb-runtimes
5 months ago devel-addr-width
7 months ago devel-qemu-mugenhwcfg