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, 2 Jun 2020 15:02:31 +0000 (17:02 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2 days ago	Reto Buerki	Update website content devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Declare required packages as ARG	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Docker: Drop obsolete grub-pc-bin package	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	README: Reference package list from Dockerfile	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Rewrite intro sentence in README	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Docker: Add libseccomp-dev to muen-dev-env	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Docker: Update Solo5 tools to v0.6.5	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Travis: Also build MirageOS docker container	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Update mirageos docker container	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	doc: Update MirageOS Unikernel article	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Update tau0-static to revison 71ac6d9	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Add reference to Tau0 in README	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Reto Buerki	doc: Update muen.sk website article	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
8 days ago	Adrian-Ken...	Extend Mucbinsplit to set RIP in component spec	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
8 days ago	Adrian-Ken...	Skip setting RIP if value provided in component spec	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
8 days ago	Adrian-Ken...	Set RIP value in component spec to start address	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

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

20 hours ago	devel-gnat-wavefront	shortlog \| log \| tree
22 hours ago	devel-drop-mb	shortlog \| log \| tree
2 days ago	devel	shortlog \| log \| tree
8 days ago	devel-gnat-2020	shortlog \| log \| tree
8 days ago	devel-misc-minor	shortlog \| log \| tree
11 days ago	devel-muenblock-2.0-smp-events	shortlog \| log \| tree
3 weeks ago	devel-linux-smp-events	shortlog \| log \| tree
3 weeks ago	devel-muenblock-2.0	shortlog \| log \| tree
8 weeks ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
2 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
2 months ago	devel-integ-buster-chroot	shortlog \| log \| tree
2 months ago	devel-linux-5.4	shortlog \| log \| tree
2 months ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
2 months ago	devel-linux-5.2	shortlog \| log \| tree
2 months ago	devel-integ-muenblock	shortlog \| log \| tree
2 months ago	devel-desktop-vpid	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance