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
3 months ago v0.8.0 Muen version 0.8.0
15 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
15 hours ago devel-mirage
15 hours ago devel-nuc-nuc6cayh
16 hours ago devel-fpu-xsave-features
16 hours ago devel
22 hours ago devel-integ-energenie
34 hours ago devel-t423
2 days ago devel-ps2-mouse-extensions
5 days ago devel-xhci-debug-vga
5 days ago devel-t422
3 weeks ago devel-lenovo-ps2-smm-acpi
4 weeks ago master
2 months ago devel-multibuild
3 months ago devel-components-non-consecutive-arrays
6 months ago devel-t380
9 months ago devel-mucheckpt
9 months ago devel-t346-precon
...