]> 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 changeWed, 11 Dec 2024 15:15:36 +0000 (16:15 +0100)
URLhttps://git.codelabs.ch/muen.git
git@git.codelabs.ch:/muen.git
shortlog
2024-12-11 Reto BuerkiUpdate RTS to shared variant devel commit | commitdiff | tree
2024-12-11 Reto BuerkiUpdate RTS to shared variant commit | commitdiff | tree
2024-12-02 Reto Buerkici: Move target scripts from tools to nci-config commit | commitdiff | tree
2024-12-02 Reto BuerkiAdjust ci/run.sh script commit | commitdiff | tree
2024-12-02 Reto BuerkiUpdate nci-config commit | commitdiff | tree
2024-12-02 Reto Buerkitools: Remove scripts/integ commit | commitdiff | tree
2024-12-02 Reto BuerkiSwitch to NCI-based CI commit | commitdiff | tree
2024-12-02 Reto Buerkiclean: Remove ci/images commit | commitdiff | tree
2024-12-02 Reto Buerkici: Also generate kernel metrics for last target (KT) commit | commitdiff | tree
2024-12-02 Reto Buerkici: Factor out target config to ci/config commit | commitdiff | tree
2024-12-02 Reto Buerkici/run: Add support for hardware targets commit | commitdiff | tree
2024-12-02 Reto BuerkiGHA: Adjust git submodule URLs for nci* commit | commitdiff | tree
2024-12-02 Reto BuerkiAdd nci (nested/new continuous integration) submods commit | commitdiff | tree
2024-12-02 Reto BuerkiLinux: Switch to DHCP-enabled initramfs commit | commitdiff | tree
2024-12-02 Reto BuerkiUpdate tools submodule commit | commitdiff | tree
2024-11-27 Reto BuerkiPolicy: Increase initramfs size commit | commitdiff | tree
...
tags
4 months ago v1.1.1 Muen version 1.1.1 tag | commit | shortlog | log
9 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
5 years ago v0.9.1 Muen version 0.9.1 tag | commit | shortlog | log
6 years ago v0.9.0 Muen version 0.9.0 tag | commit | shortlog | log
7 years ago v0.8.0 Muen version 0.8.0 tag | commit | shortlog | log
8 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
heads
3 weeks ago devel-misc-minor shortlog | log | tree
4 weeks ago devel shortlog | log | tree
5 weeks ago devel-scheduler shortlog | log | tree
5 weeks ago devel-policy-vcpu-rflags shortlog | log | tree
5 weeks ago devel-linux-kasan shortlog | log | tree
7 weeks ago devel-validator-mce shortlog | log | tree
7 weeks ago devel-qemu-mugenhwcfg shortlog | log | tree
7 weeks ago devel-4eea5f7c3af8-build-cfg-base shortlog | log | tree
2 months ago devel-rust shortlog | log | tree
4 months ago devel-desktop shortlog | log | tree
4 months ago master shortlog | log | tree
7 months ago devel-coreboot-mugenhwcfg shortlog | log | tree
9 months ago devel-components-release shortlog | log | tree
14 months ago devel-7f793ae27 shortlog | log | tree
16 months ago devel-cpu_values shortlog | log | tree
17 months ago devel-linux-6.3 shortlog | log | tree
...
An x86/64 Separation Kernel for High Assurance