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, 12 Sep 2022 16:11:13 +0000 (18:11 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2022-09-12	Adrian-Ken...	Enable exception handling in Ada/SPARK subjects devel	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-12	Adrian-Ken...	Example: Force compiler to keep frame pointer	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-12	Adrian-Ken...	integ: Assert parts of call trace output	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-12	Adrian-Ken...	Example: Log call trace of #BP exception	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-12	Adrian-Ken...	Add Backtraces package	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-12	Adrian-Ken...	Components: Initialize RBP to null	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-12	Adrian-Ken...	integ: Assert exception handling	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-12	Adrian-Ken...	Extend example to test exception handling	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-09	Adrian-Ken...	Allow handling of Breakpoint exception	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-09	Adrian-Ken...	Example: Adapt interrupt handler routine	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-09	Adrian-Ken...	VT: Adapt interrupt handler routine	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-09	Adrian-Ken...	SM: Adapt interrupt handler routine	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-09	Adrian-Ken...	Ps2_drv: Adapt interrupt handler routine	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-09	Adrian-Ken...	Components: Extend ISR with entries for exceptions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-09	Adrian-Ken...	Factor out Isr_Context_Type to SK.Exceptions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2022-09-05	Reto Buerki	Mugenspec: Use stream I/O template for Skp.Scheduling	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

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

2 days ago	devel-policy-scheduling-partitions	shortlog \| log \| tree
3 days ago	devel-misc-minor	shortlog \| log \| tree
4 days ago	devel-policy-scheduling	shortlog \| log \| tree
10 days ago	devel-pending-events	shortlog \| log \| tree
2 weeks ago	devel	shortlog \| log \| tree
7 weeks ago	devel-pmu	shortlog \| log \| tree
3 months ago	devel-bochs	shortlog \| log \| tree
4 months ago	devel-desktop	shortlog \| log \| tree
5 months ago	devel-validator-channels	shortlog \| log \| tree
9 months ago	devel-linux-kasan	shortlog \| log \| tree
9 months ago	devel-bash-sete	shortlog \| log \| tree
11 months ago	master	shortlog \| log \| tree
13 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
15 months ago	devel-subject-init	shortlog \| log \| tree
18 months ago	devel-ibpb	shortlog \| log \| tree
18 months ago	devel-ahci_drv	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance