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
13 months ago v0.9.0 Muen version 0.9.0
2 years ago v0.8.0 Muen version 0.8.0
3 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
22 hours ago devel-misc-minor
4 days ago devel-subject-avx
7 days ago devel-gnatprove-update
13 days ago devel-server
13 days ago devel-256-events
13 days ago devel-desktop
13 days ago devel
2 weeks ago devel-linux-5.0
5 weeks ago devel-linux-4.20
8 weeks ago devel-docker-integ
7 months ago devel-linux-4.17
8 months ago devel-primergy
9 months ago devel-ibpb
10 months ago devel-vmexit-measurements
10 months ago devel-save-state-opts
11 months ago devel-channel-readers
...