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	Wed, 5 Aug 2020 12:40:01 +0000 (14:40 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

27 hours ago	Adrian-Ken...	Adapt component layout devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Further refine expanded idle subject spec	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Adjust idle subject binary memory region & mapping	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Mucfgexpand: Adjust Tau0 binary memory region & mapping	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Libmucfgvcpu: Set native profile RIP to 0x200000	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Add note regarding stack size to component.ld	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Components: Move .text section to 0x200000	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Split idle subject stack into separate region	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Mucfgexpand: Split Tau0 stack into separate region	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Various minor fixes	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Update tau0 static to revision 4fe6052	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Reto Buerki	Mention UP^2 maker board in README	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Mucfgexpand: Adapt loader source region mappings	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Dbgserver: Improve serial device resource extraction	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Minor: Adjust parameter name in smpify.py	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Adrian-Ken...	Simplify guest_vm component	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

13 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

3 hours ago	devel-components-integrated-init	shortlog \| log \| tree
5 hours ago	devel-ahci_drv-rebased	shortlog \| log \| tree
26 hours ago	devel-gnat-wavefront	shortlog \| log \| tree
27 hours ago	devel	shortlog \| log \| tree
41 hours ago	devel-muenblock-2.0	shortlog \| log \| tree
2 days ago	devel-ahci_drv	shortlog \| log \| tree
2 weeks ago	devel-muenblock-2.0-linux-5.4	shortlog \| log \| tree
2 months ago	devel-drop-mb	shortlog \| log \| tree
2 months ago	devel-muenblock-2.0-smp-events	shortlog \| log \| tree
2 months ago	devel-linux-smp-events	shortlog \| log \| tree
3 months ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
4 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
4 months ago	devel-integ-buster-chroot	shortlog \| log \| tree
4 months ago	devel-linux-5.4	shortlog \| log \| tree
4 months ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
4 months ago	devel-linux-5.2	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance