descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeFri, 21 Apr 2017 09:39:17 +0000 (11:39 +0200)
shortlog
4 days ago Adrian-Ken... README: Update list of packages to install devel master
4 days ago Reto BuerkiExtend toolchain document
4 days ago Reto BuerkiEnsure that CR4.MCE bit is set in VMX non-root mode
4 days ago Reto BuerkiRename Id parameter to ID in SK.Subjects (ref T63)
4 days ago Reto BuerkiRename State_Valid to Valid_State
4 days ago Reto BuerkiMove State_Valid expression function to body
4 days ago Reto BuerkiCall Filter_State before entering VMX non-root mode
4 days ago Reto BuerkiIntroduce Subjects.Filter_State procedure
4 days ago Reto BuerkiAdd State_Valid as precondition to Restore_State
4 days ago Reto BuerkiKernel: Introduce State_Valid ghost function
4 days ago Reto BuerkiUse Common_Ada_Compiler_Switches in library_ada.gpr
4 days ago Reto BuerkiIntroduce Common_Ada_Compiler_Switches in shared.gpr
4 days ago Reto BuerkiEnable Debug pragma in restrictions-nospark.adc
4 days ago Reto BuerkiDrop separate switches for interrupts.ad*
4 days ago Reto BuerkiSpecify Bit_Clear postcondition
4 days ago Reto BuerkiSpecify Bit_Set postcondition
...
tags
2 months ago v0.8.0 Muen version 0.8.0
14 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
37 hours ago devel-ps2-component
3 days ago devel-fpu-xsave-features
3 days ago devel-mirage
3 days ago devel-nuc-6i7kyk
3 days ago devel-lenovo-x260
4 days ago devel-xhci-debug
4 days ago devel
4 days ago master
6 days ago devel-nuc-nuc6cayh-xhci
12 days ago devel-policy-platforms
6 weeks ago devel-crash-audit
7 weeks ago devel-multibuild
3 months ago devel-components-non-consecutive-arrays
5 months ago devel-t380
8 months ago devel-mucheckpt
8 months ago devel-t346-precon
...