git.codelabs.ch Git - muen.git/summary

]> 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	Mon, 25 Sep 2023 15:50:24 +0000 (17:50 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

59 min ago	Adrian-Ken...	Update MirageOS/Solo5 to v0.8.0 devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
103 min ago	Adrian-Ken...	Gracefully handle missing file in mulog-subject.py	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
103 min ago	Adrian-Ken...	Policy: Conditionally add MirageOS/Solo5 reset event	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
103 min ago	Adrian-Ken...	scripts: Add --disable-reset param to solo5-muen-gencsp...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
103 min ago	Adrian-Ken...	Muinit: Align stack to 16 bytes on call to init_main	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 hours ago	Reto Buerki	Docker: Update mirageos to mirage 4.4	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 hours ago	Reto Buerki	mirage-solo5: Reset unikernel on solo5 exit	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 hours ago	Adrian-Ken...	doc: Update MirageOS article	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 hours ago	Adrian-Ken...	Docker: Use Solo5 release v0.8.0	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 hours ago	Adrian-Ken...	Increase Solo5 ABI version to 3	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
6 hours ago	Adrian-Ken...	Overwrite the .interp section of Solo5 unikernels with...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
5 days ago	Adrian-Ken...	Rename '.interp+.text' section to text	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-08-03	Adrian-Ken...	Policy: Allow MirageOS access to IA32_FS_BASE MSR	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-08-03	Adrian-Ken...	scripts: Handle Solo5 ELF segments with physical size 0	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-08-03	Reto Buerki	Three minor fixes to emulate/iso targets and README	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2023-06-27	Reto Buerki	README: Adjust muen-dev-env.alr documentation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

23 months ago	v1.0.0	Muen version 1.0.0	tag	\| commit \| shortlog \| log
4 years ago	v0.9.1	Muen version 0.9.1	tag	\| commit \| shortlog \| log
5 years ago	v0.9.0	Muen version 0.9.0	tag	\| commit \| shortlog \| log
6 years ago	v0.8.0	Muen version 0.8.0	tag	\| commit \| shortlog \| log
7 years ago	v0.7.0	Muen version 0.7.0	tag	\| commit \| shortlog \| log
8 years ago	v0.6.0	Muen version 0.6.0	tag	\| commit \| shortlog \| log
10 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
10 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

51 min ago	devel-bookworm	shortlog \| log \| tree
59 min ago	devel	shortlog \| log \| tree
3 weeks ago	devel-cpu_values	shortlog \| log \| tree
5 weeks ago	devel-linux-6.3	shortlog \| log \| tree
5 weeks ago	devel-linux-6.2	shortlog \| log \| tree
6 weeks ago	devel-linux-6.4	shortlog \| log \| tree
2 months ago	devel-unikraft	shortlog \| log \| tree
2 months ago	devel-build-cfg	shortlog \| log \| tree
2 months ago	devel-desktop	shortlog \| log \| tree
2 months ago	devel-linux-kasan	shortlog \| log \| tree
3 months ago	devel-armv8a-mugenpt	shortlog \| log \| tree
3 months ago	devel-bochs	shortlog \| log \| tree
4 months ago	devel-bb-runtimes-64	shortlog \| log \| tree
4 months ago	devel-bb-runtimes	shortlog \| log \| tree
5 months ago	devel-addr-width	shortlog \| log \| tree
7 months ago	devel-qemu-mugenhwcfg	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance