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	Tue, 11 Jun 2019 08:44:32 +0000 (10:44 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2019-06-11	Reto Buerki	Fix muenblock reference in README master v0.9.1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Re-enable GNAT -gnatyt switch	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Fix warnings reported by -gnatyt	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Re-enable -gnatyt switch	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Minor fixes and update to Community 2019 toolchain	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Update README for release v0.9.1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Travis: Add script for Debian GNU/Linux 10 (Buster)	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	contrib: Update ada-bfd to latest upstream version	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Docker: Update toolchain to GNAT Community 2019	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Minor: Fix indentation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Do not use default initialized table entries in tests	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Libpaging: Add global test entry to maps test package	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Only generate tests for root project	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Switch language from Asm to Asm_Cpp	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Kernel: Drop pragma Warnings for unused variables	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	contrib: Disable style warnings in libsparkcrypto	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

7 months ago	v0.9.1	Muen version 0.9.1	tag	\| commit \| shortlog \| log
23 months ago	v0.9.0	Muen version 0.9.0	tag	\| commit \| shortlog \| log
2 years ago	v0.8.0	Muen version 0.8.0	tag	\| commit \| shortlog \| log
3 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
6 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
6 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

7 hours ago	devel-uart-fifo	shortlog \| log \| tree
26 hours ago	devel-linux-5.4	shortlog \| log \| tree
2 days ago	devel-misc-minor	shortlog \| log \| tree
2 days ago	devel	shortlog \| log \| tree
9 days ago	devel-xhci-debug-vga	shortlog \| log \| tree
10 days ago	devel-img_cmdstream-filo	shortlog \| log \| tree
4 weeks ago	devel-mirageos-article-update	shortlog \| log \| tree
6 weeks ago	devel-linux-5.2	shortlog \| log \| tree
7 weeks ago	devel-desktop	shortlog \| log \| tree
2 months ago	devel-tau0-only	shortlog \| log \| tree
2 months ago	devel-bochs	shortlog \| log \| tree
6 months ago	devel-minimal-system	shortlog \| log \| tree
7 months ago	devel-server	shortlog \| log \| tree
7 months ago	devel-256-events	shortlog \| log \| tree
7 months ago	master	shortlog \| log \| tree
7 months ago	devel-subject-avx	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance