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, 18 Jun 2021 15:27:19 +0000 (17:27 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

4 days ago	Adrian-Ken...	Restore previous behavior of Mutime.Info.Valid/Is_Valid devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
4 days ago	Adrian-Ken...	Restore previous behavior of Info.Valid/Is_Valid	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
4 days ago	Adrian-Ken...	Libmutime: Extend Info.Valid test	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	Upgrade to GNAT Community 2021 toolchain	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	README: Update iPXE deployment description	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Reto Buerki	Update copyright info in README	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Reto Buerki	Adjust toolchain description in README	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Reto Buerki	Mugenspec: Adjust test data	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Reto Buerki	Mucheckstack: Adjust test data	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Reto Buerki	Makeconf: Adjust no counterexample option	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	Specify object size of FIS array type	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	Specify object size of ports array	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	Specify object size of ATA types	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	Add explicit object size to SMART_Attribute_Table_Type	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	Specify object size of command list/table types	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 days ago	Adrian-Ken...	Add explicit object size to MBR_Type	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

12 hours ago	devel-t591	shortlog \| log \| tree
4 days ago	devel	shortlog \| log \| tree
6 days ago	devel-subject-init	shortlog \| log \| tree
5 weeks ago	devel-desktop-vpid	shortlog \| log \| tree
5 weeks ago	devel-desktop	shortlog \| log \| tree
2 months ago	devel-ibpb	shortlog \| log \| tree
3 months ago	devel-ahci_drv	shortlog \| log \| tree
4 months ago	devel-ahci_drv-20210210	shortlog \| log \| tree
8 months ago	devel-up2-4.0bios	shortlog \| log \| tree
8 months ago	devel-linux-5.4-test	shortlog \| log \| tree
14 months ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
14 months ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
14 months ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
15 months ago	devel-linux-5.2	shortlog \| log \| tree
16 months ago	devel-ps2-mouse-extensions	shortlog \| log \| tree
17 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance