descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeFri, 21 Apr 2017 09:39:17 +0000 (11:39 +0200)
shortlog
2017-04-21 Adrian-Ken... README: Update list of packages to install master
2017-04-21 Reto BuerkiExtend toolchain document
2017-04-20 Reto BuerkiEnsure that CR4.MCE bit is set in VMX non-root mode
2017-04-20 Reto BuerkiRename Id parameter to ID in SK.Subjects (ref T63)
2017-04-20 Reto BuerkiRename State_Valid to Valid_State
2017-04-20 Reto BuerkiMove State_Valid expression function to body
2017-04-20 Reto BuerkiCall Filter_State before entering VMX non-root mode
2017-04-20 Reto BuerkiIntroduce Subjects.Filter_State procedure
2017-04-20 Reto BuerkiAdd State_Valid as precondition to Restore_State
2017-04-20 Reto BuerkiKernel: Introduce State_Valid ghost function
2017-04-20 Reto BuerkiUse Common_Ada_Compiler_Switches in library_ada.gpr
2017-04-20 Reto BuerkiIntroduce Common_Ada_Compiler_Switches in shared.gpr
2017-04-20 Reto BuerkiEnable Debug pragma in restrictions-nospark.adc
2017-04-20 Reto BuerkiDrop separate switches for interrupts.ad*
2017-04-20 Reto BuerkiSpecify Bit_Clear postcondition
2017-04-20 Reto BuerkiSpecify Bit_Set postcondition
...
tags
10 months ago v0.8.0 Muen version 0.8.0
21 months ago v0.7.0 Muen version 0.7.0
2 years ago v0.6.0 Muen version 0.6.0
4 years ago doc-print Document print
4 years ago doc-review Document review
heads
3 hours ago devel-t463
29 hours ago devel-minor-fixes
3 days ago devel-t456
7 days ago devel-xhci-debug-vga
7 days ago devel-linux-4.14
7 days ago devel
2 months ago devel-ps2-mouse-extensions
4 months ago devel-t446
5 months ago devel-pstate
6 months ago devel-t422
7 months ago devel-lenovo-ps2-smm-acpi
7 months ago master
10 months ago devel-components-non-consecutive-arrays
13 months ago devel-t380
15 months ago devel-mucheckpt
18 months ago devel-smi-count
...