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
11 months ago v0.9.0 Muen version 0.9.0
23 months ago v0.8.0 Muen version 0.8.0
2 years ago v0.7.0 Muen version 0.7.0
4 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
2 days ago devel-docker-integ
5 weeks ago devel
3 months ago devel-desktop
5 months ago devel-linux-4.17
6 months ago devel-primergy
7 months ago devel-ibpb
8 months ago devel-vmexit-measurements
8 months ago devel-save-state-opts
9 months ago devel-channel-readers
9 months ago devel-xhci-debug-vga
10 months ago devel-cspec-xml
10 months ago devel-vpid-tests
11 months ago master
12 months ago devel-subject-efer
15 months ago devel-ps2-mouse-extensions
17 months ago devel-t446
...