descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 6 Jul 2020 16:49:36 +0000 (18:49 +0200)
shortlog
35 hours ago Adrian-Ken... Rework VM subject loading implementation devel
37 hours ago Adrian-Ken... integ: Assert execution of Linux AP handling in SM
37 hours ago Adrian-Ken... Check state after reset but prior to other processing
37 hours ago Adrian-Ken... Improve readability of invalid guest state handler
42 hours ago Adrian-Ken... SM: Factor out invalid guest state handling
42 hours ago Adrian-Ken... Policy: Set ID reset target events
42 hours ago Adrian-Ken... SL: Drop current Sinfo offset related subprograms
42 hours ago Adrian-Ken... integ: Assert that 'nic_linux' is loaded by SL
42 hours ago Adrian-Ken... Adapt log message since only one subject is loaded
42 hours ago Adrian-Ken... Also signal failure if no monitor_sinfo region is present
42 hours ago Adrian-Ken... Switch to global target Sinfo for processing mem regions
42 hours ago Adrian-Ken... Add library level, constant target Sinfo instance
42 hours ago Adrian-Ken... Add target sinfo constants
42 hours ago Adrian-Ken... SL: Avoid duplicate Sinfo access
42 hours ago Adrian-Ken... Libmuxml: Reduce max monitor loader elements to 1
42 hours ago Adrian-Ken... Mucfgexpand: Drop second <loader> from test policy
...
tags
12 months ago v0.9.1 Muen version 0.9.1
2 years ago v0.9.0 Muen version 0.9.0
3 years ago v0.8.0 Muen version 0.8.0
4 years ago v0.7.0 Muen version 0.7.0
5 years ago v0.6.0 Muen version 0.6.0
6 years ago doc-print Document print
6 years ago doc-review Document review
heads
35 hours ago devel-components-layout
35 hours ago devel
4 days ago devel-ahci_drv
3 weeks ago devel-gnat-wavefront
3 weeks ago devel-muenblock-2.0-linux-5.4
3 weeks ago devel-muenblock-2.0
4 weeks ago devel-drop-mb
6 weeks ago devel-muenblock-2.0-smp-events
7 weeks ago devel-linux-smp-events
2 months ago devel-linux-5.4-desktop-testing
3 months ago devel-libmusinfo-starts-with
3 months ago devel-integ-buster-chroot
3 months ago devel-linux-5.4
3 months ago devel-linux-5.4-buster-chroot
3 months ago devel-linux-5.2
3 months ago devel-integ-muenblock
...