]> git.codelabs.ch Git - muen.git/summary
git.codelabs.ch / muen.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeSun, 4 May 2025 18:52:08 +0000 (20:52 +0200)
URLhttps://git.codelabs.ch/muen.git
git@git.codelabs.ch:/muen.git
shortlog
2025-05-04 Adrian-Ken... Linux: Add support for work IRQ devel commit | commitdiff | tree
2025-05-02 Adrian-Ken... Update contrib commit | commitdiff | tree
2025-05-02 Adrian-Ken... Update nci-config commit | commitdiff | tree
2025-04-30 Adrian-Ken... Update Linux submodule commit | commitdiff | tree
2025-04-30 Adrian-Ken... Policy: Add IRQ_WORK_VECTOR event to Linux subjects commit | commitdiff | tree
2025-04-16 Reto BuerkiMove initial FPU state check to ITS component commit | commitdiff | tree
2025-04-16 Reto BuerkiUse Reference_Values.XSAVE_Supported in ITS.FPU commit | commitdiff | tree
2025-04-16 Reto BuerkiGenerate Reference_Values package commit | commitdiff | tree
2025-04-16 Reto BuerkiUpdate nci-config commit | commitdiff | tree
2025-04-16 Reto BuerkiAlso assert null legacy registers and extended region commit | commitdiff | tree
2025-04-16 Reto BuerkiMove initial FPU state check to ITS component commit | commitdiff | tree
2025-04-16 Reto BuerkiEnable CR4.XSAVE in component spec commit | commitdiff | tree
2025-04-16 Reto BuerkiITS: Reformat spec XML commit | commitdiff | tree
2025-04-10 Reto BuerkiKernel/dbgserver: UART: Get rid of UART.State commit | commitdiff | tree
2025-03-12 Reto BuerkiMucfgucode: Fix multi processor signature handling commit | commitdiff | tree
2025-03-06 Reto BuerkiUpdate to arm64/x86_64 toolchain commit | commitdiff | tree
...
tags
8 months ago v1.1.1 Muen version 1.1.1 tag | commit | shortlog | log
13 months ago v1.1.0 Muen version 1.1.0 tag | commit | shortlog | log
3 years ago v1.0.0 Muen version 1.0.0 tag | commit | shortlog | log
5 years ago v0.9.1 Muen version 0.9.1 tag | commit | shortlog | log
7 years ago v0.9.0 Muen version 0.9.0 tag | commit | shortlog | log
8 years ago v0.8.0 Muen version 0.8.0 tag | commit | shortlog | log
9 years ago v0.7.0 Muen version 0.7.0 tag | commit | shortlog | log
10 years ago v0.6.0 Muen version 0.6.0 tag | commit | shortlog | log
11 years ago doc-print Document print tag | commit | shortlog | log
11 years ago doc-review Document review tag | commit | shortlog | log
heads
3 days ago devel-update-nci-submods shortlog | log | tree
13 days ago devel-c5bc9f3df36f-bob shortlog | log | tree
2 weeks ago devel-misc-minor shortlog | log | tree
2 weeks ago devel shortlog | log | tree
2 weeks ago devel-pcie-reset shortlog | log | tree
4 weeks ago devel-kernel-init-cpu-freq shortlog | log | tree
6 weeks ago devel-dump-memory shortlog | log | tree
5 months ago devel-scheduler shortlog | log | tree
5 months ago devel-policy-vcpu-rflags shortlog | log | tree
5 months ago devel-linux-kasan shortlog | log | tree
5 months ago devel-validator-mce shortlog | log | tree
5 months ago devel-qemu-mugenhwcfg shortlog | log | tree
5 months ago devel-4eea5f7c3af8-build-cfg-base shortlog | log | tree
6 months ago devel-rust shortlog | log | tree
8 months ago devel-desktop shortlog | log | tree
8 months ago master shortlog | log | tree
...
An x86/64 Separation Kernel for High Assurance