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
4 months ago v0.8.0 Muen version 0.8.0
16 months ago v0.7.0 Muen version 0.7.0
2 years ago v0.6.0 Muen version 0.6.0
3 years ago doc-print Document print
3 years ago doc-review Document review
heads
119 min ago devel-mirage
7 hours ago devel-id-rename
8 hours ago devel
5 weeks ago devel-ps2-mouse-extensions
5 weeks ago devel-xhci-debug-vga
5 weeks ago devel-t422
2 months ago devel-lenovo-ps2-smm-acpi
2 months ago master
3 months ago devel-multibuild
5 months ago devel-components-non-consecutive-arrays
7 months ago devel-t380
10 months ago devel-mucheckpt
12 months ago devel-smi-count
12 months ago devel-ps2-spark
12 months ago devel-muennet-perf-napi
13 months ago devel-vbox-nic
...