descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeFri, 9 Apr 2021 14:35:53 +0000 (16:35 +0200)
shortlog
40 hours ago Adrian-Ken... Implement isolation test suite devel
40 hours ago Adrian-Ken... integ: Assert isolation tests success
40 hours ago Adrian-Ken... Add isolation tests to KT integ policy
40 hours ago Adrian-Ken... Policy: Factor out integration test subjects
40 hours ago Adrian-Ken... Move use type clause to ITS package
40 hours ago Adrian-Ken... Add note regarding Intel SDM references to report
40 hours ago Adrian-Ken... Group test cases in testsuites
40 hours ago Adrian-Ken... Run privileged instruction tests
40 hours ago Adrian-Ken... Implement write to CR0 test
40 hours ago Adrian-Ken... Implement write to CR3 test
40 hours ago Adrian-Ken... Implement VMXOFF instruction test
40 hours ago Adrian-Ken... Implement privileged instruction-related test
40 hours ago Adrian-Ken... Reformat reported test results as table
40 hours ago Adrian-Ken... Add source information to test results
40 hours ago Adrian-Ken... Run event isolation test
40 hours ago Adrian-Ken... Implement event-related test
...
tags
22 months 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
40 hours ago devel-misc-minor
40 hours ago devel-ahci_drv
40 hours ago devel
11 days ago devel-ahci_drv-review
2 weeks ago devel-ibpb
2 months ago devel-ahci_drv-20210210
2 months ago devel-desktop
6 months ago devel-up2-4.0bios
6 months ago devel-gnat-wavefront
6 months ago devel-gnat-2020
6 months ago devel-linux-5.4-test
6 months ago devel-desktop-vpid
10 months ago devel-drop-mb
12 months ago devel-linux-5.4-desktop-testing
12 months ago devel-libmusinfo-starts-with
12 months ago devel-linux-5.4-buster-chroot
...