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, 7 Jan 2022 10:40:57 +0000 (11:40 +0100)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2022-01-07	Adrian-Ken...	Update Linux to current stable release v5.10.90 devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-07	Adrian-Ken...	tools: Drop obsolete Mulnxbzpatch tool	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-07	Adrian-Ken...	Makeconf: Drop unused MULNXBZPATCH variable	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-07	Adrian-Ken...	Switch from bzImage to vmlinux.bin	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Adrian-Ken...	Linux: Set version to 5.10	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Adrian-Ken...	Update Muenblock submodule to 1016e06	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Adrian-Ken...	Update Linux submodule to 5cf9989	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Adrian-Ken...	Linux: Add config for version 5.10	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Adrian-Ken...	Mulnxbzpatch: Do not extend bzImage	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Adrian-Ken...	Linux: Extend bzImage region with boot stack/heap	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Reto Buerki	Assert crash audit in CI and move physical region	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Reto Buerki	Move crash audit region	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Reto Buerki	integ: Assert crash audit strings	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Reto Buerki	Policy: Add 'legacy' device domain to KT policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Reto Buerki	Policy: Add 'legacy' rmrr region to KT hw config	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-01-06	Reto Buerki	Trigger explicit system panic at the end of KT integ	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

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

11 days ago	devel-misc-minor	shortlog \| log \| tree
2 weeks ago	devel-desktop	shortlog \| log \| tree
2 weeks ago	devel	shortlog \| log \| tree
5 weeks ago	devel-hardware-spec	shortlog \| log \| tree
5 weeks ago	devel-linux-kasan	shortlog \| log \| tree
5 weeks ago	devel-bash-sete	shortlog \| log \| tree
2 months ago	devel-bochs-rebased	shortlog \| log \| tree
3 months ago	master	shortlog \| log \| tree
4 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
7 months ago	devel-subject-init	shortlog \| log \| tree
9 months ago	devel-ibpb	shortlog \| log \| tree
10 months ago	devel-ahci_drv	shortlog \| log \| tree
11 months ago	devel-ahci_drv-20210210	shortlog \| log \| tree
15 months ago	devel-up2-4.0bios	shortlog \| log \| tree
21 months ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
21 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance