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, 2 Jul 2021 13:23:46 +0000 (15:23 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2021-07-02	Reto Buerki	Annotations for Muen Component Specification doc devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-07-02	Reto Buerki	Reduce longtable font size	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-07-02	Reto Buerki	Incorporate feedback	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-07-02	Adrian-Ken...	Muen Component Documentation review	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-07-02	Adrian-Ken...	xslt: Avoid extra newline in extractLogChannelSize	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Reto Buerki	Replace subject_init_fsm.png with DOT source	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Reto Buerki	Adjust sinfo access info	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Reto Buerki	Minor changes to lifecycle doc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Document review round	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Add info to Sinfo/Schedinfo non-interaction	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Add info/warning to the lifecycle init section	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Add lifecycle usage section	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Add section about VM component loading	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Add new info environment	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Libmuinit: Document initialization steps	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2021-06-30	Adrian-Ken...	Add subject lifecycle chapter	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

2 years ago	v0.9.1	Muen version 0.9.1	tag	\| commit \| shortlog \| log
3 years ago	v0.9.0	Muen version 0.9.0	tag	\| commit \| shortlog \| log
4 years ago	v0.8.0	Muen version 0.8.0	tag	\| commit \| shortlog \| log
5 years ago	v0.7.0	Muen version 0.7.0	tag	\| commit \| shortlog \| log
6 years ago	v0.6.0	Muen version 0.6.0	tag	\| commit \| shortlog \| log
7 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
7 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

2 weeks ago	devel-misc-minor	shortlog \| log \| tree
2 weeks ago	devel-desktop-vpid	shortlog \| log \| tree
2 weeks ago	devel-desktop	shortlog \| log \| tree
4 weeks ago	devel	shortlog \| log \| tree
7 weeks ago	devel-subject-init	shortlog \| log \| tree
4 months ago	devel-ibpb	shortlog \| log \| tree
4 months ago	devel-ahci_drv	shortlog \| log \| tree
5 months ago	devel-ahci_drv-20210210	shortlog \| log \| tree
10 months ago	devel-up2-4.0bios	shortlog \| log \| tree
10 months ago	devel-linux-5.4-test	shortlog \| log \| tree
15 months ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
16 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
16 months ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
16 months ago	devel-linux-5.2	shortlog \| log \| tree
17 months ago	devel-ps2-mouse-extensions	shortlog \| log \| tree
18 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance