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	Fri, 26 Jan 2018 14:50:29 +0000 (15:50 +0100)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2018-01-26	Reto Buerki	travis: Remove tags from docker run commands master v0.9.0	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Reto Buerki	Several fixes and tweaks	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Reto Buerki	travis: Use debian/ubuntu tags without version	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Adrian-Ken...	Mucfgexpand: Fix device alias memory resource handling	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Adrian-Ken...	Libmutools: Extend XML_Utils.Add_Resource	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Reto Buerki	Reduce size of https-mirageos-muen.jpg image	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Reto Buerki	README: Adjust articles resource	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Reto Buerki	Return Unsigned32'Last instead of 0	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-26	Reto Buerki	SM: Drop error message in Pciconf_Emulate_Read	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-25	Reto Buerki	Update documents for Muen release 0.9	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-25	Reto Buerki	Add article about muen.sk website	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-25	Reto Buerki	Add article about MirageOS/Solo5 subjects	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-25	Reto Buerki	Use muen.sk instead of muen.codelabs.ch	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-25	Reto Buerki	Add articles link to Resources section	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-25	Adrian-Ken...	Adaptations for upcoming release	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2018-01-25	Adrian-Ken...	README: Add note about the Muen dev env Docker image	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

13 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
4 years ago	v0.6.0	Muen version 0.6.0	tag	\| commit \| shortlog \| log
5 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
5 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

22 hours ago	devel-misc-minor	shortlog \| log \| tree
4 days ago	devel-subject-avx	shortlog \| log \| tree
7 days ago	devel-gnatprove-update	shortlog \| log \| tree
13 days ago	devel-server	shortlog \| log \| tree
13 days ago	devel-256-events	shortlog \| log \| tree
13 days ago	devel-desktop	shortlog \| log \| tree
13 days ago	devel	shortlog \| log \| tree
2 weeks ago	devel-linux-5.0	shortlog \| log \| tree
5 weeks ago	devel-linux-4.20	shortlog \| log \| tree
8 weeks ago	devel-docker-integ	shortlog \| log \| tree
7 months ago	devel-linux-4.17	shortlog \| log \| tree
8 months ago	devel-primergy	shortlog \| log \| tree
9 months ago	devel-ibpb	shortlog \| log \| tree
10 months ago	devel-vmexit-measurements	shortlog \| log \| tree
10 months ago	devel-save-state-opts	shortlog \| log \| tree
11 months ago	devel-channel-readers	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance