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
5 months ago v0.9.0 Muen version 0.9.0
17 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
15 hours ago devel-t489
17 hours ago devel-linux-4.17
2 days ago devel-mugenacpi-smp
9 days ago devel
10 days ago devel-primergy
10 days ago devel-desktop
7 weeks ago devel-ibpb
8 weeks ago devel-misc-minor
8 weeks ago devel-vmexit-measurements
2 months ago devel-save-state-opts
3 months ago devel-channel-readers
3 months ago devel-xhci-debug-vga
3 months ago devel-cspec-xml
4 months ago devel-vpid-tests
5 months ago master
5 months ago devel-subject-efer
...