]> git.codelabs.ch Git - muen.git/summary
 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeSun, 4 May 2025 18:52:08 +0000 (20:52 +0200)
shortlog
2025-05-04 Adrian-Ken... Linux: Add support for work IRQ devel
2025-05-02 Adrian-Ken... Update contrib
2025-05-02 Adrian-Ken... Update nci-config
2025-04-30 Adrian-Ken... Update Linux submodule
2025-04-30 Adrian-Ken... Policy: Add IRQ_WORK_VECTOR event to Linux subjects
2025-04-16 Reto BuerkiMove initial FPU state check to ITS component
2025-04-16 Reto BuerkiUse Reference_Values.XSAVE_Supported in ITS.FPU
2025-04-16 Reto BuerkiGenerate Reference_Values package
2025-04-16 Reto BuerkiUpdate nci-config
2025-04-16 Reto BuerkiAlso assert null legacy registers and extended region
2025-04-16 Reto BuerkiMove initial FPU state check to ITS component
2025-04-16 Reto BuerkiEnable CR4.XSAVE in component spec
2025-04-16 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
...
tags
8 months ago v1.1.1 Muen version 1.1.1
13 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
3 days ago devel-update-nci-submods
13 days ago devel-c5bc9f3df36f-bob
2 weeks ago devel-misc-minor
2 weeks ago devel
2 weeks ago devel-pcie-reset
4 weeks ago devel-kernel-init-cpu-freq
6 weeks ago devel-dump-memory
5 months ago devel-scheduler
5 months ago devel-policy-vcpu-rflags
5 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
8 months ago devel-desktop
8 months ago master
...