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, 28 Sep 2020 17:04:33 +0000 (19:04 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2020-09-28	Adrian-Ken...	Various minor improvements devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-28	Adrian-Ken...	Update tau0-static submodule to da88799...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-28	Reto Buerki	Policy: Switch UP^2 to use HSUART0	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-28	Adrian-Ken...	Adapt XML_Utils.Get_Executing_CPU function	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-28	Adrian-Ken...	Minor: Drop unnecessary Mutools.XML_Utils prefix	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-28	Adrian-Ken...	Libmutools: Adapt XML_Utils.Get_Switch_Sources params	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Update Linux to v5.4.66	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	integ: Simplify muenblock LVM/Cryptsetup test	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Download/Check initramfs directly in OBJ_DIR	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Update Linux initramfs to 61fa58c...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Policy: Increase initramfs size to 16#00e0_0000#	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Linux: Enable various crypto modules	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Adapt expect string	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	integ: Adjust muenblock-server scripts	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Set Linux version to 5.4	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2020-09-23	Adrian-Ken...	Update Muenblock submodule to ad6ee1b...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

16 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
7 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
7 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

4 weeks ago	devel-ahci_drv	shortlog \| log \| tree
4 weeks ago	devel	shortlog \| log \| tree
5 weeks ago	devel-up2-4.0bios	shortlog \| log \| tree
5 weeks ago	devel-gnat-wavefront	shortlog \| log \| tree
5 weeks ago	devel-gnat-2020	shortlog \| log \| tree
5 weeks ago	devel-linux-5.4-test	shortlog \| log \| tree
5 weeks ago	devel-desktop-vpid	shortlog \| log \| tree
5 weeks ago	devel-desktop	shortlog \| log \| tree
4 months ago	devel-drop-mb	shortlog \| log \| tree
6 months ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
6 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
7 months ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
7 months ago	devel-linux-5.2	shortlog \| log \| tree
8 months ago	devel-ps2-mouse-extensions	shortlog \| log \| tree
9 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
12 months ago	devel-bochs	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance