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, 3 Mar 2021 15:47:30 +0000 (16:47 +0100)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2 hours ago	Adrian-Ken...	Introduce schedGroupId attribute to subjects devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Libmuxml: Make schedGroupId attribute mandatory devel-policy-schedgroupid	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Libmucfgcheck: Simplify sched group info mappings check	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Simplify scheduling spec generation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mugenspec: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Register subject scheduling group ID validator	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mucfgvalidate: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mucfgexpand: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mugenzp: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mugentau0cmds: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mugensolo5: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mugensinfo: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mugenmsrstore: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mugenacpi: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mucheckelf: Add schedGroupId to test policy	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
18 hours ago	Adrian-Ken...	Mucfgmemhashes: Add schedGroupId to test policies	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

20 months 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

113 min ago	devel-misc-minor	shortlog \| log \| tree
2 hours ago	devel	shortlog \| log \| tree
18 hours ago	devel-policy-schedgroupid	shortlog \| log \| tree
2 weeks ago	devel-ahci_drv	shortlog \| log \| tree
3 weeks ago	devel-ahci_drv-20210210	shortlog \| log \| tree
4 weeks ago	devel-desktop	shortlog \| log \| tree
5 months ago	devel-up2-4.0bios	shortlog \| log \| tree
5 months ago	devel-gnat-wavefront	shortlog \| log \| tree
5 months ago	devel-gnat-2020	shortlog \| log \| tree
5 months ago	devel-linux-5.4-test	shortlog \| log \| tree
5 months ago	devel-desktop-vpid	shortlog \| log \| tree
8 months ago	devel-drop-mb	shortlog \| log \| tree
10 months ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
11 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
11 months ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
11 months ago	devel-linux-5.2	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance