]> git.codelabs.ch Git - muen.git/summary
 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeWed, 16 Apr 2025 08:27:06 +0000 (10:27 +0200)
shortlog
11 days ago Reto BuerkiMove initial FPU state check to ITS component devel
11 days ago Reto BuerkiUse Reference_Values.XSAVE_Supported in ITS.FPU
11 days ago Reto BuerkiGenerate Reference_Values package
11 days ago Reto BuerkiUpdate nci-config
11 days ago Reto BuerkiAlso assert null legacy registers and extended region
11 days ago Reto BuerkiMove initial FPU state check to ITS component
11 days ago Reto BuerkiEnable CR4.XSAVE in component spec
11 days ago Reto BuerkiITS: Reformat spec XML
2025-04-10 Reto BuerkiKernel/dbgserver: UART: Get rid of UART.State
2025-03-12 Reto BuerkiMucfgucode: Fix multi processor signature handling
2025-03-06 Reto BuerkiUpdate to arm64/x86_64 toolchain
2025-03-06 Reto BuerkiUpdate Linux submodule to 5dd9c62b5d38
2025-03-06 Reto BuerkiUpdate tools submodule
2025-02-11 Reto BuerkiUpdate common submodule
2024-12-11 Reto BuerkiUpdate RTS to shared variant
2024-12-11 Reto BuerkiUpdate RTS to shared variant
...
tags
7 months ago v1.1.1 Muen version 1.1.1
12 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
9 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
2 days ago devel-pcie-reset
10 days ago devel-kernel-init-cpu-freq
11 days ago devel-wip-bob-x86
11 days ago devel
12 days ago devel-kernel-init-cpu-perf
2 weeks ago devel-misc-minor
3 weeks ago devel-dump-memory
4 months ago devel-scheduler
4 months ago devel-policy-vcpu-rflags
4 months ago devel-linux-kasan
5 months ago devel-validator-mce
5 months ago devel-qemu-mugenhwcfg
5 months ago devel-4eea5f7c3af8-build-cfg-base
6 months ago devel-rust
7 months ago devel-desktop
8 months ago master
...