index
:
muen.git
devel
devel-256-events
devel-4eea5f7c3af8-build-cfg-base
devel-7f793ae27
devel-addr-width
devel-ahci_drv
devel-ahci_drv-20210210
devel-apicv
devel-armv8a-mugenpt
devel-bash-sete
devel-bb-runtimes
devel-bb-runtimes-64
devel-bochs
devel-build-cfg
devel-c5bc9f3df36f-bob
devel-channel-readers
devel-components-non-consecutive-arrays
devel-components-release
devel-coreboot-mugenhwcfg
devel-cpu_values
devel-cspec-xml
devel-desktop
devel-dump-memory
devel-e4185411ac6d-bob
devel-fxsave
devel-hpet-timer
devel-ibpb
devel-kernel-init-cpu-freq
devel-lenovo-ps2-smm-acpi
devel-libmusinfo-starts-with
devel-libraries
devel-linux-5.2
devel-linux-5.4-desktop-testing
devel-linux-6.2
devel-linux-6.3
devel-linux-6.4
devel-linux-kasan
devel-minimal-system
devel-monitor
devel-muennet-perf-napi
devel-pcie-reset
devel-pmu
devel-policy-vcpu-rflags
devel-preempt-wip
devel-primergy
devel-ps2-mouse-extensions
devel-ps2-spark
devel-pstate
devel-qemu-mugenhwcfg
devel-rust
devel-save-state-opts
devel-scheduler
devel-server
devel-smi-count
devel-storage_drv
devel-subject-efer
devel-t380
devel-tools-fuzzing
devel-unikraft
devel-up2-4.0bios
devel-validator-channels
devel-validator-mce
devel-vmexit-measurements
devel-vpid-tests
devel-xapic
devel-xhci-debug-vga
intel-erm185
main
master
minor-frame-deadline
An x86/64 Separation Kernel for High Assurance
git version control
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
devel
Export non-kernel code to separate repositories
Reto Buerki
8 months
devel-c5bc9f3df36f-bob
doc: Update muen-sk-website article
Reto Buerki
10 months
devel-e4185411ac6d-bob
mirageos/compose.py: Style fixes (black)
Reto Buerki
10 months
devel-kernel-init-cpu-freq
Update nci-config
Adrian-Ken Rueegsegger
17 months
devel-pcie-reset
Also check revision ID and class code
Reto Buerki
13 months
devel-scheduler
Rework Subject activity state setter/getter
Adrian-Ken Rueegsegger
3 months
devel-storage_drv
fixup! Add Timeouts to NVMe Commands
Reto Buerki
4 months
intel-erm185
Double-check deadline on VMX-preemption timer expiry
Adrian-Ken Rueegsegger
7 weeks
main
Various minor fixes and improvements
Reto Buerki
3 weeks
minor-frame-deadline
Kernel: Avoid recalculation of minor frame deadline
Adrian-Ken Rueegsegger
3 weeks
[...]
Tag
Download
Author
Age
v1.1.1
commit 4eea5f7c3a...
Adrian-Ken Rueegsegger
2 years
v1.1.0
commit e878fd9445...
Reto Buerki
2 years
v1.0.0
commit 0bc894ef0a...
Adrian-Ken Rueegsegger
5 years
v0.9.1
commit 7f41b2748e...
Reto Buerki
7 years
v0.9.0
commit 41263af948...
Adrian-Ken Rueegsegger
9 years
v0.8.0
commit 58f08811db...
Reto Buerki
10 years
v0.7.0
commit 59171a3aab...
Adrian-Ken Rueegsegger
11 years
v0.6.0
commit ee09000d93...
Reto Buerki
12 years
doc-print
commit 7453c37611...
Reto Buerki
13 years
doc-review
commit 34981c81de...
Adrian-Ken Rueegsegger
13 years
Age
Commit message
Author
2026-08-21
Various minor fixes and improvements
HEAD
main
Reto Buerki
2026-08-20
README: Adjust links to git.codelab.ch HTTP repos
Reto Buerki
2026-08-20
SK.Locks: Move representation for Lock_State_Type to public part
Jakob Juhnke
2026-08-20
Add debug message for reboot and shutdown
Kevin Slijepcevic
2026-07-13
Protect VTd.Dump.Print_Message by debug lock
Adrian-Ken Rueegsegger
2026-07-13
Debug: Protect Print_[Register|Segment] by debug lock
Adrian-Ken Rueegsegger
2026-07-13
Drop .gitmodules
Adrian-Ken Rueegsegger
2026-07-13
Minor: Add missing whitespace to log message
Adrian-Ken Rueegsegger
2026-06-10
Various fixes and improvements to assembler code
Adrian-Ken Rueegsegger
2026-06-09
Minor: Fix typos in documentation
Adrian-Ken Rueegsegger
[...]
Clone
https://git.codelabs.ch/muen.git