]>
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 |
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 |
... |