]> git.codelabs.ch Git - muen.git/summary
 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 10 Jun 2024 14:52:22 +0000 (16:52 +0200)
shortlog
4 days ago Reto BuerkiAdjust hardware configs for coreboot version 24.05 devel
4 days ago Reto BuerkiPolicy: Update hardware/up-squared-e3950-coreboot.xml
4 days ago Reto BuerkiPolicy: Update hardware/qemu-kvm-coreboot.xml
4 days ago Reto Buerkiemulate: Simplify QEMU cmd: drop ioh3420 I/O hub
4 days ago Reto BuerkiPolicy: Update hardware/qemu-kvm-coreboot.xml
4 days ago Reto BuerkiPolicy: Update hardware/qemu-kvm-efi.xml
4 days ago Reto BuerkiPolicy: Update hardware/qemu-kvm.xml
4 days ago Reto Buerkiemulate: Simplify QEMU cmd: drop ioh3420 I/O hub
8 days ago Reto BuerkiAdd support for HPE DL380 Gen 10 server
8 days ago Reto BuerkiKernel: Debug: Simplify Process_Fault loop
8 days ago Reto BuerkiMugenspec: Prefix FR array with Reg_
8 days ago Reto BuerkiMugenspec: Introduce FR size constant
8 days ago Reto BuerkiDM: Introduce header type constants
8 days ago Reto BuerkiKernel: Debug: Check Status.FRI range
8 days ago Reto BuerkiKernel/Mugenspec: Make FR index modular
8 days ago Reto BuerkiREADME: Add HPE DL380 Gen10 to supported hardware
...
tags
2 months ago v1.1.0 Muen version 1.1.0
2 years ago v1.0.0 Muen version 1.0.0
5 years ago v0.9.1 Muen version 0.9.1
6 years ago v0.9.0 Muen version 0.9.0
7 years ago v0.8.0 Muen version 0.8.0
8 years ago v0.7.0 Muen version 0.7.0
9 years ago v0.6.0 Muen version 0.6.0
10 years ago doc-print Document print
10 years ago doc-review Document review
heads
32 hours ago devel-misc-minor
4 days ago devel-coreboot-mugenhwcfg
4 days ago devel
7 days ago devel-policy-vcpu-rflags
2 weeks ago devel-desktop
3 weeks ago devel-linux-kasan
2 months ago master
2 months ago devel-components-release
2 months ago devel-scheduler
7 months ago devel-7f793ae27
9 months ago devel-cpu_values
10 months ago devel-linux-6.3
10 months ago devel-linux-6.2
10 months ago devel-linux-6.4
11 months ago devel-unikraft
11 months ago devel-build-cfg
...