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	Mon, 6 Jul 2020 16:49:36 +0000 (18:49 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

35 hours ago	Adrian-Ken...	Rework VM subject loading implementation devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
37 hours ago	Adrian-Ken...	integ: Assert execution of Linux AP handling in SM	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
37 hours ago	Adrian-Ken...	Check state after reset but prior to other processing	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
37 hours ago	Adrian-Ken...	Improve readability of invalid guest state handler	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	SM: Factor out invalid guest state handling	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Policy: Set ID reset target events	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	SL: Drop current Sinfo offset related subprograms	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	integ: Assert that 'nic_linux' is loaded by SL	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Adapt log message since only one subject is loaded	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Also signal failure if no monitor_sinfo region is present	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Switch to global target Sinfo for processing mem regions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Add library level, constant target Sinfo instance	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Add target sinfo constants	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	SL: Avoid duplicate Sinfo access	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Libmuxml: Reduce max monitor loader elements to 1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
42 hours ago	Adrian-Ken...	Mucfgexpand: Drop second <loader> from test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

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

35 hours ago	devel-components-layout	shortlog \| log \| tree
35 hours ago	devel	shortlog \| log \| tree
4 days ago	devel-ahci_drv	shortlog \| log \| tree
3 weeks ago	devel-gnat-wavefront	shortlog \| log \| tree
3 weeks ago	devel-muenblock-2.0-linux-5.4	shortlog \| log \| tree
3 weeks ago	devel-muenblock-2.0	shortlog \| log \| tree
4 weeks ago	devel-drop-mb	shortlog \| log \| tree
6 weeks ago	devel-muenblock-2.0-smp-events	shortlog \| log \| tree
7 weeks ago	devel-linux-smp-events	shortlog \| log \| tree
2 months ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
3 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
3 months ago	devel-integ-buster-chroot	shortlog \| log \| tree
3 months ago	devel-linux-5.4	shortlog \| log \| tree
3 months ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
3 months ago	devel-linux-5.2	shortlog \| log \| tree
3 months ago	devel-integ-muenblock	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance