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	Thu, 18 Feb 2016 15:45:14 +0000 (16:45 +0100)
URL	http://git.codelabs.ch/git/muen.git
	git@git.codelabs.ch:/muen.git

2016-02-18	Adrian-Ken...	Update toolchain document and README master v0.7.0	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	doc: Drop list of listings in toolchain doc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Reto Buerki	Policy: Assign ethernet controller to base-hw subject	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	README: Update features section	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	README: Add reference to mugenhwcfg tool	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	README: Add year 2016 to copyright notice	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	doc: Update tool descriptions in toolchain doc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	doc: Add kernel diag dev section to toolchain doc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	doc: Add components section to toolchain doc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-18	Adrian-Ken...	doc: Add platform section to toolchain doc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-16	Reto Buerki	Adjust tool reference in hardware configuration	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-16	Adrian-Ken...	Rework subject device vector allocation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-16	Adrian-Ken...	Polciy: Drop explicit resources from logical 'xhci...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-16	Adrian-Ken...	Mark IRQ[0..4] as reserved in legacy subject vector...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-16	Adrian-Ken...	Adjust logical vector of wireless subject device	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2016-02-16	Adrian-Ken...	Extend subject device vector allocation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

7 months ago	v0.7.0	Muen version 0.7.0	tag	\| commit \| shortlog \| log
20 months ago	v0.6.0	Muen version 0.6.0	tag	\| commit \| shortlog \| log
3 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
3 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

28 hours ago	devel-linux-clkevt-init	shortlog \| log \| tree
2 days ago	devel-t357	shortlog \| log \| tree
2 days ago	devel-check-virtual-mem-overlap	shortlog \| log \| tree
3 days ago	devel-t356	shortlog \| log \| tree
3 days ago	devel	shortlog \| log \| tree
3 days ago	devel-t355	shortlog \| log \| tree
3 days ago	devel-spec-event-actions	shortlog \| log \| tree
4 days ago	devel-genode-reduce-bin-size	shortlog \| log \| tree
2 weeks ago	devel-policy-event-cleanup	shortlog \| log \| tree
2 weeks ago	devel-tools-event-action	shortlog \| log \| tree
4 weeks ago	devel-misc-validators	shortlog \| log \| tree
4 weeks ago	devel-components-non-consecutive-arrays	shortlog \| log \| tree
6 weeks ago	devel-mucheckpt	shortlog \| log \| tree
2 months ago	devel-t346-precon	shortlog \| log \| tree
2 months ago	devel-t346	shortlog \| log \| tree
2 months ago	devel-ps2-component-rebased	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance