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

]> 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	Wed, 11 Dec 2024 15:15:36 +0000 (16:15 +0100)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

49 min ago	Reto Buerki	Update RTS to shared variant devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 hours ago	Reto Buerki	Update RTS to shared variant	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
8 days ago	Reto Buerki	ci: Move target scripts from tools to nci-config	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	Adjust ci/run.sh script	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	Update nci-config	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	tools: Remove scripts/integ	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	Switch to NCI-based CI	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	clean: Remove ci/images	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	ci: Also generate kernel metrics for last target (KT)	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	ci: Factor out target config to ci/config	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	ci/run: Add support for hardware targets	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	GHA: Adjust git submodule URLs for nci*	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	Add nci (nested/new continuous integration) submods	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	Linux: Switch to DHCP-enabled initramfs	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Reto Buerki	Update tools submodule	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-11-27	Reto Buerki	Policy: Increase initramfs size	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

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

28 min ago	devel-misc-minor	shortlog \| log \| tree
49 min ago	devel	shortlog \| log \| tree
6 days ago	devel-scheduler	shortlog \| log \| tree
7 days ago	devel-policy-vcpu-rflags	shortlog \| log \| tree
7 days ago	devel-linux-kasan	shortlog \| log \| tree
3 weeks ago	devel-validator-mce	shortlog \| log \| tree
3 weeks ago	devel-qemu-mugenhwcfg	shortlog \| log \| tree
3 weeks ago	devel-4eea5f7c3af8-build-cfg-base	shortlog \| log \| tree
7 weeks ago	devel-rust	shortlog \| log \| tree
2 months ago	devel-desktop	shortlog \| log \| tree
3 months ago	master	shortlog \| log \| tree
6 months ago	devel-coreboot-mugenhwcfg	shortlog \| log \| tree
8 months ago	devel-components-release	shortlog \| log \| tree
13 months ago	devel-7f793ae27	shortlog \| log \| tree
15 months ago	devel-cpu_values	shortlog \| log \| tree
15 months ago	devel-linux-6.3	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance