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, 20 Mar 2023 16:43:33 +0000 (17:43 +0100)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

7 days ago	Reto Buerki	GHA: Use GitHub Container registry for docker images devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Reto Buerki	doc: Update docker pull commands	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Reto Buerki	Add architecture example image to doc folder	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Reto Buerki	Add README.adoc symlink	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Reto Buerki	GHA: Only save caches if on devel branch	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Reto Buerki	GHA: Also run mirageos workflow if config changes	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Reto Buerki	GHA: Use GitHub Container registry for docker images	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-09	Johannes Greiner	Tools: Increase test coverage and fix minor bugs	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-09	Johannes Greiner	Tools: Minor fixes for revision	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-09	Johannes Greiner	Tools: Increase test coverage	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-09	Johannes Greiner	Tools: Add convenience features for debug-log	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-09	Johannes Greiner	Tools: Fix bug in libmutools-xmldebuglog	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-09	Johannes Greiner	Tools: Fix missing output in mucgenspec	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-08	Adrian-Ken...	Various documentation updates for version 0.7.1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-08	Adrian-Ken...	README: Update Copyright year	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-02-08	Adrian-Ken...	Increase component specification doc version to 0.7.1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

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

7 days ago	devel-build-cfg	shortlog \| log \| tree
7 days ago	devel-misc-minor	shortlog \| log \| tree
7 days ago	devel	shortlog \| log \| tree
4 weeks ago	devel-linux-upgrade	shortlog \| log \| tree
4 weeks ago	devel-bochs	shortlog \| log \| tree
7 weeks ago	devel-qemu-mugenhwcfg	shortlog \| log \| tree
3 months ago	devel-pmu	shortlog \| log \| tree
3 months ago	devel-desktop	shortlog \| log \| tree
3 months ago	devel-linux-kasan	shortlog \| log \| tree
5 months ago	devel-tools-fuzzing	shortlog \| log \| tree
11 months ago	devel-validator-channels	shortlog \| log \| tree
15 months ago	devel-bash-sete	shortlog \| log \| tree
17 months ago	master	shortlog \| log \| tree
18 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
21 months ago	devel-subject-init	shortlog \| log \| tree
2 years ago	devel-ibpb	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance