]>
description | An x86/64 Separation Kernel for High Assurance |
owner | Adrian-Ken Rueegsegger |
last change | Wed, 4 Jun 2025 10:51:49 +0000 (12:51 +0200) |
URL | https://git.codelabs.ch/muen.git |
git@git.codelabs.ch:/muen.git |
9 months ago | v1.1.1 | Muen version 1.1.1 | tag | | commit | shortlog | log |
14 months ago | v1.1.0 | Muen version 1.1.0 | tag | | commit | shortlog | log |
3 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 |
7 years ago | v0.9.0 | Muen version 0.9.0 | tag | | commit | shortlog | log |
8 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 |
10 years ago | v0.6.0 | Muen version 0.6.0 | tag | | commit | shortlog | log |
11 years ago | doc-print | Document print | tag | | commit | shortlog | log |
11 years ago | doc-review | Document review | tag | | commit | shortlog | log |
8 hours ago | devel-pcie-reset | shortlog | log | tree |
8 days ago | devel | shortlog | log | tree |
5 weeks ago | devel-c5bc9f3df36f-bob | shortlog | log | tree |
8 weeks ago | devel-kernel-init-cpu-freq | shortlog | log | tree |
2 months ago | devel-dump-memory | shortlog | log | tree |
6 months ago | devel-scheduler | shortlog | log | tree |
6 months ago | devel-policy-vcpu-rflags | shortlog | log | tree |
6 months ago | devel-linux-kasan | shortlog | log | tree |
6 months ago | devel-validator-mce | shortlog | log | tree |
6 months ago | devel-qemu-mugenhwcfg | shortlog | log | tree |
6 months ago | devel-4eea5f7c3af8-build-cfg-base | shortlog | log | tree |
7 months ago | devel-rust | shortlog | log | tree |
8 months ago | devel-desktop | shortlog | log | tree |
9 months ago | master | shortlog | log | tree |
12 months ago | devel-coreboot-mugenhwcfg | shortlog | log | tree |
14 months ago | devel-components-release | shortlog | log | tree |
... |