git.codelabs.ch Git - muen.git/summary

git.codelabs.ch / muen.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	An x86/64 Separation Kernel for High Assurance
owner	Adrian-Ken Rueegsegger
last change	Fri, 21 Apr 2017 09:39:17 +0000 (11:39 +0200)
URL	https://git.codelabs.ch/git/muen.git
	git@git.codelabs.ch:/muen.git

2017-04-21	Adrian-Ken...	README: Update list of packages to install master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-21	Reto Buerki	Extend toolchain document	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Ensure that CR4.MCE bit is set in VMX non-root mode	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Rename Id parameter to ID in SK.Subjects (ref T63)	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Rename State_Valid to Valid_State	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Move State_Valid expression function to body	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Call Filter_State before entering VMX non-root mode	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Introduce Subjects.Filter_State procedure	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Add State_Valid as precondition to Restore_State	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Kernel: Introduce State_Valid ghost function	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Use Common_Ada_Compiler_Switches in library_ada.gpr	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Introduce Common_Ada_Compiler_Switches in shared.gpr	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Enable Debug pragma in restrictions-nospark.adc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Drop separate switches for interrupts.ad*	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Specify Bit_Clear postcondition	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-04-20	Reto Buerki	Specify Bit_Set postcondition	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

6 months ago	v0.8.0	Muen version 0.8.0	tag	\| commit \| shortlog \| log
17 months ago	v0.7.0	Muen version 0.7.0	tag	\| commit \| shortlog \| log
2 years ago	v0.6.0	Muen version 0.6.0	tag	\| commit \| shortlog \| log
3 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
4 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

2 weeks ago	devel-t446	shortlog \| log \| tree
2 weeks ago	devel	shortlog \| log \| tree
2 weeks ago	devel-pciconf	shortlog \| log \| tree
5 weeks ago	devel-pstate	shortlog \| log \| tree
6 weeks ago	devel-docker-image	shortlog \| log \| tree
6 weeks ago	devel-ps2-mouse-extensions	shortlog \| log \| tree
6 weeks ago	devel-mirage	shortlog \| log \| tree
3 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
3 months ago	devel-t422	shortlog \| log \| tree
3 months ago	devel-lenovo-ps2-smm-acpi	shortlog \| log \| tree
3 months ago	master	shortlog \| log \| tree
5 months ago	devel-multibuild	shortlog \| log \| tree
6 months ago	devel-components-non-consecutive-arrays	shortlog \| log \| tree
9 months ago	devel-t380	shortlog \| log \| tree
11 months ago	devel-mucheckpt	shortlog \| log \| tree
14 months ago	devel-smi-count	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance