descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeFri, 2 Jul 2021 13:23:46 +0000 (15:23 +0200)
shortlog
2021-07-02 Reto BuerkiAnnotations for Muen Component Specification doc devel
2021-07-02 Reto BuerkiReduce longtable font size
2021-07-02 Reto BuerkiIncorporate feedback
2021-07-02 Adrian-Ken... Muen Component Documentation review
2021-07-02 Adrian-Ken... xslt: Avoid extra newline in extractLogChannelSize
2021-06-30 Reto BuerkiReplace subject_init_fsm.png with DOT source
2021-06-30 Reto BuerkiAdjust sinfo access info
2021-06-30 Reto BuerkiMinor changes to lifecycle doc
2021-06-30 Adrian-Ken... Document review round
2021-06-30 Adrian-Ken... Add info to Sinfo/Schedinfo non-interaction
2021-06-30 Adrian-Ken... Add info/warning to the lifecycle init section
2021-06-30 Adrian-Ken... Add lifecycle usage section
2021-06-30 Adrian-Ken... Add section about VM component loading
2021-06-30 Adrian-Ken... Add new info environment
2021-06-30 Adrian-Ken... Libmuinit: Document initialization steps
2021-06-30 Adrian-Ken... Add subject lifecycle chapter
...
tags
2 years ago v0.9.1 Muen version 0.9.1
3 years ago v0.9.0 Muen version 0.9.0
4 years ago v0.8.0 Muen version 0.8.0
5 years ago v0.7.0 Muen version 0.7.0
6 years ago v0.6.0 Muen version 0.6.0
7 years ago doc-print Document print
7 years ago doc-review Document review
heads
2 weeks ago devel-misc-minor
2 weeks ago devel-desktop-vpid
2 weeks ago devel-desktop
4 weeks ago devel
7 weeks ago devel-subject-init
4 months ago devel-ibpb
4 months ago devel-ahci_drv
5 months ago devel-ahci_drv-20210210
10 months ago devel-up2-4.0bios
10 months ago devel-linux-5.4-test
15 months ago devel-linux-5.4-desktop-testing
16 months ago devel-libmusinfo-starts-with
16 months ago devel-linux-5.4-buster-chroot
16 months ago devel-linux-5.2
17 months ago devel-ps2-mouse-extensions
18 months ago devel-xhci-debug-vga
...