descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeFri, 26 Jan 2018 14:50:29 +0000 (15:50 +0100)
shortlog
2018-01-26 Reto Buerkitravis: Remove tags from docker run commands master v0.9.0
2018-01-26 Reto BuerkiSeveral fixes and tweaks
2018-01-26 Reto Buerkitravis: Use debian/ubuntu tags without version
2018-01-26 Adrian-Ken... Mucfgexpand: Fix device alias memory resource handling
2018-01-26 Adrian-Ken... Libmutools: Extend XML_Utils.Add_Resource
2018-01-26 Reto BuerkiReduce size of https-mirageos-muen.jpg image
2018-01-26 Reto BuerkiREADME: Adjust articles resource
2018-01-26 Reto BuerkiReturn Unsigned32'Last instead of 0
2018-01-26 Reto BuerkiSM: Drop error message in Pciconf_Emulate_Read
2018-01-25 Reto BuerkiUpdate documents for Muen release 0.9
2018-01-25 Reto BuerkiAdd article about muen.sk website
2018-01-25 Reto BuerkiAdd article about MirageOS/Solo5 subjects
2018-01-25 Reto BuerkiUse muen.sk instead of muen.codelabs.ch
2018-01-25 Reto BuerkiAdd articles link to Resources section
2018-01-25 Adrian-Ken... Adaptations for upcoming release
2018-01-25 Adrian-Ken... README: Add note about the Muen dev env Docker image
...
tags
3 months ago v0.9.0 Muen version 0.9.0
15 months ago v0.8.0 Muen version 0.8.0
2 years ago v0.7.0 Muen version 0.7.0
3 years ago v0.6.0 Muen version 0.6.0
4 years ago doc-print Document print
4 years ago doc-review Document review
heads
2 days ago devel-ibpb
2 days ago devel
6 days ago devel-misc-minor
7 days ago devel-vmexit-measurements
7 days ago devel-primergy
7 days ago devel-desktop
3 weeks ago devel-save-state-opts
6 weeks ago devel-channel-readers
7 weeks ago devel-xhci-debug-vga
2 months ago devel-cspec-xml
3 months ago devel-vpid-tests
3 months ago master
4 months ago devel-subject-efer
7 months ago devel-ps2-mouse-extensions
9 months ago devel-t446
10 months ago devel-pstate
...