]> git.codelabs.ch Git - muen.git/summary
 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeWed, 11 Dec 2024 15:15:36 +0000 (16:15 +0100)
shortlog
2024-12-11 Reto BuerkiUpdate RTS to shared variant devel
2024-12-11 Reto BuerkiUpdate RTS to shared variant
2024-12-02 Reto Buerkici: Move target scripts from tools to nci-config
2024-12-02 Reto BuerkiAdjust ci/run.sh script
2024-12-02 Reto BuerkiUpdate nci-config
2024-12-02 Reto Buerkitools: Remove scripts/integ
2024-12-02 Reto BuerkiSwitch to NCI-based CI
2024-12-02 Reto Buerkiclean: Remove ci/images
2024-12-02 Reto Buerkici: Also generate kernel metrics for last target (KT)
2024-12-02 Reto Buerkici: Factor out target config to ci/config
2024-12-02 Reto Buerkici/run: Add support for hardware targets
2024-12-02 Reto BuerkiGHA: Adjust git submodule URLs for nci*
2024-12-02 Reto BuerkiAdd nci (nested/new continuous integration) submods
2024-12-02 Reto BuerkiLinux: Switch to DHCP-enabled initramfs
2024-12-02 Reto BuerkiUpdate tools submodule
2024-11-27 Reto BuerkiPolicy: Increase initramfs size
...
tags
5 months ago v1.1.1 Muen version 1.1.1
10 months ago v1.1.0 Muen version 1.1.0
3 years ago v1.0.0 Muen version 1.0.0
5 years ago v0.9.1 Muen version 0.9.1
7 years ago v0.9.0 Muen version 0.9.0
8 years ago v0.8.0 Muen version 0.8.0
8 years ago v0.7.0 Muen version 0.7.0
10 years ago v0.6.0 Muen version 0.6.0
11 years ago doc-print Document print
11 years ago doc-review Document review
heads
36 hours ago devel-merge-armv8
8 weeks ago devel-misc-minor
2 months ago devel
2 months ago devel-scheduler
2 months ago devel-policy-vcpu-rflags
2 months ago devel-linux-kasan
2 months ago devel-validator-mce
2 months ago devel-qemu-mugenhwcfg
2 months ago devel-4eea5f7c3af8-build-cfg-base
3 months ago devel-rust
5 months ago devel-desktop
5 months ago master
8 months ago devel-coreboot-mugenhwcfg
10 months ago devel-components-release
15 months ago devel-7f793ae27
17 months ago devel-cpu_values
...