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	Mon, 26 Aug 2024 11:06:14 +0000 (13:06 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2024-08-26	Reto Buerki	Update GRUB for CSL highmem support devel master v1.1.1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Reto Buerki	Policy: Add high mem fill region to demo system	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Reto Buerki	contrib: Update GRUB for CSL highmem support	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Reto Buerki	Various cleanups and minor fixes	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Reto Buerki	Add csldecode.py	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Adrian-Ken...	Minor cleanups	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Reto Buerki	Example: Remove occurrences of 'crypter' in comments	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Jakob Juhnke	Kernel: Remove redundant parentheses	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Jakob Juhnke	Tools: Remove redundant parentheses	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Jakob Juhnke	Update compiler/linker flags and linker script for...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Jakob Juhnke	Libmutime: Prove termination of To_BCD and a range...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-26	Adrian-Ken...	Update tau0-static submodule to fc5460fa6d1b	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-23	Adrian-Ken...	Dbgserver: Do not process output on attached consoles	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-23	Adrian-Ken...	Add Object_Size aspect to Interrupt_Interface_Type	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-23	Reto Buerki	arclint: Switch from pep8 to black linter/formatter	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-23	Reto Buerki	Docker: Add black to muen-dev-env	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

5 weeks ago	v1.1.1	Muen version 1.1.1	tag	\| commit \| shortlog \| log
5 months ago	v1.1.0	Muen version 1.1.0	tag	\| commit \| shortlog \| log
2 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

3 weeks ago	devel-desktop	shortlog \| log \| tree
4 weeks ago	devel-misc-minor	shortlog \| log \| tree
4 weeks ago	devel-nci	shortlog \| log \| tree
5 weeks ago	devel-policy-vcpu-rflags	shortlog \| log \| tree
6 weeks ago	devel-validator-mce	shortlog \| log \| tree
6 weeks ago	devel	shortlog \| log \| tree
6 weeks ago	master	shortlog \| log \| tree
7 weeks ago	devel-qemu-mugenhwcfg	shortlog \| log \| tree
3 months ago	devel-coreboot-mugenhwcfg	shortlog \| log \| tree
4 months ago	devel-linux-kasan	shortlog \| log \| tree
6 months ago	devel-components-release	shortlog \| log \| tree
6 months ago	devel-scheduler	shortlog \| log \| tree
11 months ago	devel-7f793ae27	shortlog \| log \| tree
13 months ago	devel-cpu_values	shortlog \| log \| tree
13 months ago	devel-linux-6.3	shortlog \| log \| tree
13 months ago	devel-linux-6.2	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance