]> git.codelabs.ch Git - muen.git/summary
git.codelabs.ch / muen.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeTue, 27 Jan 2026 15:14:12 +0000 (16:14 +0100)
URLhttps://git.codelabs.ch/muen.git
git@git.codelabs.ch:/muen.git
shortlog
2026-01-27 Reto Buerkiarcconfig: Land onto main, not devel main commit | commitdiff | tree
2026-01-27 Reto Buerkiarcconfig: Replace conduit_uri with phabricator.uri commit | commitdiff | tree
2026-01-27 Reto Buerkiarcconfig: Land onto main, not devel commit | commitdiff | tree
2026-01-22 Reto BuerkiExport non-kernel code to separate repositories devel commit | commitdiff | tree
2026-01-21 Reto Buerkiarcconfig: De-configure test engine commit | commitdiff | tree
2026-01-21 Reto BuerkiRemove components/ directory commit | commitdiff | tree
2026-01-21 Reto Buerkidbgserver: Add libmucoll commit | commitdiff | tree
2026-01-21 Reto Buerkism: Include libmucoll (subject_info.ads) commit | commitdiff | tree
2026-01-21 Reto Buerkitime: Include libmucoll (cmos_rtc.ads) commit | commitdiff | tree
2026-01-21 Reto Buerkiexample: Include libmu[block|coll] commit | commitdiff | tree
2026-01-21 Reto Buerkivt: Include libmucoll (input.ads) commit | commitdiff | tree
2026-01-21 Reto Buerkiits_monitor: Include libmucoll (subject_info.ads) commit | commitdiff | tree
2026-01-21 Reto Buerkips2_drv: Include libmucoll commit | commitdiff | tree
2026-01-21 Reto Buerkiahci_drv: Include libmublock commit | commitdiff | tree
2026-01-21 Reto Buerkicomponents: ../src is no longer valid commit | commitdiff | tree
2026-01-21 Reto BuerkiRemove remaining files in components/src commit | commitdiff | tree
...
tags
17 months ago v1.1.1 Muen version 1.1.1 tag | commit | shortlog | log
22 months ago v1.1.0 Muen version 1.1.0 tag | commit | shortlog | log
4 years ago v1.0.0 Muen version 1.0.0 tag | commit | shortlog | log
6 years ago v0.9.1 Muen version 0.9.1 tag | commit | shortlog | log
8 years ago v0.9.0 Muen version 0.9.0 tag | commit | shortlog | log
9 years ago v0.8.0 Muen version 0.8.0 tag | commit | shortlog | log
9 years ago v0.7.0 Muen version 0.7.0 tag | commit | shortlog | log
11 years ago v0.6.0 Muen version 0.6.0 tag | commit | shortlog | log
12 years ago doc-print Document print tag | commit | shortlog | log
12 years ago doc-review Document review tag | commit | shortlog | log
heads
36 hours ago devel-misc-minor shortlog | log | tree
2 weeks ago main shortlog | log | tree
3 weeks ago devel shortlog | log | tree
5 weeks ago devel-storage_drv shortlog | log | tree
2 months ago devel-e4185411ac6d-bob shortlog | log | tree
2 months ago devel-c5bc9f3df36f-bob shortlog | log | tree
5 months ago devel-pcie-reset shortlog | log | tree
9 months ago devel-kernel-init-cpu-freq shortlog | log | tree
10 months ago devel-dump-memory shortlog | log | tree
14 months ago devel-scheduler shortlog | log | tree
14 months ago devel-policy-vcpu-rflags shortlog | log | tree
14 months ago devel-linux-kasan shortlog | log | tree
14 months ago devel-validator-mce shortlog | log | tree
14 months ago devel-qemu-mugenhwcfg shortlog | log | tree
14 months ago devel-4eea5f7c3af8-build-cfg-base shortlog | log | tree
15 months ago devel-rust shortlog | log | tree
...
An x86/64 Separation Kernel for High Assurance