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
9 months ago v0.9.0 Muen version 0.9.0
21 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
5 years ago doc-print Document print
5 years ago doc-review Document review
heads
4 hours ago devel-xml-order
4 weeks ago devel-misc-minor
6 weeks ago devel-desktop
6 weeks ago devel
2 months ago devel-gnat-2018
3 months ago devel-linux-4.17
4 months ago devel-primergy
5 months ago devel-ibpb
6 months ago devel-vmexit-measurements
6 months ago devel-save-state-opts
7 months ago devel-channel-readers
7 months ago devel-xhci-debug-vga
8 months ago devel-cspec-xml
8 months ago devel-vpid-tests
9 months ago master
10 months ago devel-subject-efer
...