descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeFri, 7 Jan 2022 10:40:57 +0000 (11:40 +0100)
shortlog
2022-01-07 Adrian-Ken... Update Linux to current stable release v5.10.90 devel
2022-01-07 Adrian-Ken... tools: Drop obsolete Mulnxbzpatch tool
2022-01-07 Adrian-Ken... Makeconf: Drop unused MULNXBZPATCH variable
2022-01-07 Adrian-Ken... Switch from bzImage to vmlinux.bin
2022-01-06 Adrian-Ken... Linux: Set version to 5.10
2022-01-06 Adrian-Ken... Update Muenblock submodule to 1016e06
2022-01-06 Adrian-Ken... Update Linux submodule to 5cf9989
2022-01-06 Adrian-Ken... Linux: Add config for version 5.10
2022-01-06 Adrian-Ken... Mulnxbzpatch: Do not extend bzImage
2022-01-06 Adrian-Ken... Linux: Extend bzImage region with boot stack/heap
2022-01-06 Reto BuerkiAssert crash audit in CI and move physical region
2022-01-06 Reto BuerkiMove crash audit region
2022-01-06 Reto Buerkiinteg: Assert crash audit strings
2022-01-06 Reto BuerkiPolicy: Add 'legacy' device domain to KT policy
2022-01-06 Reto BuerkiPolicy: Add 'legacy' rmrr region to KT hw config
2022-01-06 Reto BuerkiTrigger explicit system panic at the end of KT integ
...
tags
3 months ago v1.0.0 Muen version 1.0.0
2 years ago v0.9.1 Muen version 0.9.1
3 years ago v0.9.0 Muen version 0.9.0
4 years ago v0.8.0 Muen version 0.8.0
5 years ago v0.7.0 Muen version 0.7.0
7 years ago v0.6.0 Muen version 0.6.0
8 years ago doc-print Document print
8 years ago doc-review Document review
heads
11 days ago devel-misc-minor
2 weeks ago devel-desktop
2 weeks ago devel
5 weeks ago devel-hardware-spec
5 weeks ago devel-linux-kasan
5 weeks ago devel-bash-sete
2 months ago devel-bochs-rebased
3 months ago master
4 months ago devel-xhci-debug-vga
7 months ago devel-subject-init
9 months ago devel-ibpb
10 months ago devel-ahci_drv
11 months ago devel-ahci_drv-20210210
15 months ago devel-up2-4.0bios
21 months ago devel-linux-5.4-desktop-testing
21 months ago devel-libmusinfo-starts-with
...