description | An x86/64 Separation Kernel for High Assurance |
owner | Adrian-Ken Rueegsegger |
last change | Wed, 3 Mar 2021 15:47:30 +0000 (16:47 +0100) |
URL | https://git.codelabs.ch/muen.git |
git@git.codelabs.ch:/muen.git |
20 months ago | v0.9.1 | Muen version 0.9.1 | tag | | commit | shortlog | log |
3 years ago | v0.9.0 | Muen version 0.9.0 | tag | | commit | shortlog | log |
4 years ago | v0.8.0 | Muen version 0.8.0 | tag | | commit | shortlog | log |
5 years ago | v0.7.0 | Muen version 0.7.0 | tag | | commit | shortlog | log |
6 years ago | v0.6.0 | Muen version 0.6.0 | tag | | commit | shortlog | log |
7 years ago | doc-print | Document print | tag | | commit | shortlog | log |
7 years ago | doc-review | Document review | tag | | commit | shortlog | log |
113 min ago | devel-misc-minor | shortlog | log | tree |
2 hours ago | devel | shortlog | log | tree |
18 hours ago | devel-policy-schedgroupid | shortlog | log | tree |
2 weeks ago | devel-ahci_drv | shortlog | log | tree |
3 weeks ago | devel-ahci_drv-20210210 | shortlog | log | tree |
4 weeks ago | devel-desktop | shortlog | log | tree |
5 months ago | devel-up2-4.0bios | shortlog | log | tree |
5 months ago | devel-gnat-wavefront | shortlog | log | tree |
5 months ago | devel-gnat-2020 | shortlog | log | tree |
5 months ago | devel-linux-5.4-test | shortlog | log | tree |
5 months ago | devel-desktop-vpid | shortlog | log | tree |
8 months ago | devel-drop-mb | shortlog | log | tree |
10 months ago | devel-linux-5.4-desktop-testing | shortlog | log | tree |
11 months ago | devel-libmusinfo-starts-with | shortlog | log | tree |
11 months ago | devel-linux-5.4-buster-chroot | shortlog | log | tree |
11 months ago | devel-linux-5.2 | shortlog | log | tree |
... |