]> git.codelabs.ch Git - muen.git/summary
 
descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeWed, 4 Jun 2025 10:51:49 +0000 (12:51 +0200)
shortlog
2025-06-04 Adrian-Ken... Various minor fixes and improvements devel
2025-06-04 Adrian-Ken... SM: Remove unnecessary Unused_ variable prefix
2025-06-04 Adrian-Ken... Ahci_drv: Fix typo
2025-06-04 Reto Buerkicontrib: Update grub to fix potential hang in PAE code
2025-06-04 Adrian-Ken... Update tools submodule
2025-06-03 Reto Buerkigitmodules: Append git suffix to common, rts
2025-06-03 Reto BuerkiUpdate nci/nci-config to latest versions
2025-05-04 Adrian-Ken... Linux: Add support for work IRQ
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
...
tags
10 months ago v1.1.1 Muen version 1.1.1
15 months ago v1.1.0 Muen version 1.1.0
3 years ago v1.0.0 Muen version 1.0.0
6 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
3 weeks ago devel-misc-minor
5 weeks ago devel
2 months ago devel-c5bc9f3df36f-bob
2 months ago devel-kernel-init-cpu-freq
3 months ago devel-dump-memory
7 months ago devel-scheduler
7 months ago devel-policy-vcpu-rflags
7 months ago devel-linux-kasan
7 months ago devel-validator-mce
7 months ago devel-qemu-mugenhwcfg
7 months ago devel-4eea5f7c3af8-build-cfg-base
8 months ago devel-rust
10 months ago devel-desktop
10 months ago master
13 months ago devel-coreboot-mugenhwcfg
...