]> git.codelabs.ch Git - muen.git/summary
 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 26 Aug 2024 11:06:14 +0000 (13:06 +0200)
shortlog
2024-08-26 Reto BuerkiUpdate GRUB for CSL highmem support devel master v1.1.1
2024-08-26 Reto BuerkiPolicy: Add high mem fill region to demo system
2024-08-26 Reto Buerkicontrib: Update GRUB for CSL highmem support
2024-08-26 Reto BuerkiVarious cleanups and minor fixes
2024-08-26 Reto BuerkiAdd csldecode.py
2024-08-26 Adrian-Ken... Minor cleanups
2024-08-26 Reto BuerkiExample: Remove occurrences of 'crypter' in comments
2024-08-26 Jakob JuhnkeKernel: Remove redundant parentheses
2024-08-26 Jakob JuhnkeTools: Remove redundant parentheses
2024-08-26 Jakob JuhnkeUpdate compiler/linker flags and linker script for...
2024-08-26 Jakob JuhnkeLibmutime: Prove termination of To_BCD and a range...
2024-08-26 Adrian-Ken... Update tau0-static submodule to fc5460fa6d1b
2024-08-23 Adrian-Ken... Dbgserver: Do not process output on attached consoles
2024-08-23 Adrian-Ken... Add Object_Size aspect to Interrupt_Interface_Type
2024-08-23 Reto Buerkiarclint: Switch from pep8 to black linter/formatter
2024-08-23 Reto BuerkiDocker: Add black to muen-dev-env
...
tags
5 weeks ago v1.1.1 Muen version 1.1.1
5 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
11 years ago doc-print Document print
11 years ago doc-review Document review
heads
3 weeks ago devel-desktop
4 weeks ago devel-misc-minor
4 weeks ago devel-nci
5 weeks ago devel-policy-vcpu-rflags
6 weeks ago devel-validator-mce
6 weeks ago devel
6 weeks ago master
7 weeks ago devel-qemu-mugenhwcfg
3 months ago devel-coreboot-mugenhwcfg
4 months ago devel-linux-kasan
6 months ago devel-components-release
6 months ago devel-scheduler
11 months ago devel-7f793ae27
13 months ago devel-cpu_values
13 months ago devel-linux-6.3
13 months ago devel-linux-6.2
...