descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeTue, 23 Nov 2021 14:54:05 +0000 (15:54 +0100)
shortlog
5 days ago Adrian-Ken... Enable assignment of Thermal/Power/Energy-related MSRs devel
5 days ago Adrian-Ken... Doc: Add note regarding MSRs to component spec
6 days ago Adrian-Ken... Policy: Allow MSR-access in desktop demo system
6 days ago Adrian-Ken... Libmutools: Designate Power/Energy-related MSRs as...
6 days ago Adrian-Ken... Libmucfgcheck: Allow assignment of Energy/Power-related...
6 days ago Adrian-Ken... Libmutools: Add Power/Energy-related MSR constants
6 days ago Adrian-Ken... Do not add global MSRs to MSR storage area
6 days ago Adrian-Ken... Mugenmsrstore: Add Thermal-related MSRs to test policy
6 days ago Adrian-Ken... Do not count global MSRs as needing save/restore
6 days ago Adrian-Ken... Libmutools: Add Utils.Is_Global_MSR function
6 days ago Adrian-Ken... Libmucfgcheck: Allow assignment of Thermal-related...
6 days ago Adrian-Ken... Libmutools: Add Thermal-related MSR constants
6 days ago Adrian-Ken... Libmucfgcheck: Rework MSR Whitelist validator
6 days ago Adrian-Ken... Various minor fixes and improvements
6 days ago Adrian-Ken... Update Muenfs submodule to a4c06db...
6 days ago Adrian-Ken... Mucheckelf: Only close BFD file after test has run
...
tags
5 weeks ago v1.0.0 Muen version 1.0.0
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
8 years ago doc-print Document print
8 years ago doc-review Document review
heads
2 days ago devel-subject-xsave
3 days ago devel-misc-minor
4 days ago devel-linux-5.10
5 days ago devel
3 weeks ago devel-bochs-rebased
6 weeks ago master
7 weeks ago devel-desktop-lnx-5.10
2 months ago devel-desktop
2 months ago devel-xhci-debug-vga
5 months ago devel-subject-init
8 months ago devel-ibpb
8 months ago devel-ahci_drv
9 months ago devel-ahci_drv-20210210
14 months ago devel-up2-4.0bios
14 months ago devel-linux-5.4-test
19 months ago devel-linux-5.4-desktop-testing
...