descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 28 Sep 2020 17:04:33 +0000 (19:04 +0200)
shortlog
2020-09-28 Adrian-Ken... Various minor improvements devel
2020-09-28 Adrian-Ken... Update tau0-static submodule to da88799...
2020-09-28 Reto BuerkiPolicy: Switch UP^2 to use HSUART0
2020-09-28 Adrian-Ken... Adapt XML_Utils.Get_Executing_CPU function
2020-09-28 Adrian-Ken... Minor: Drop unnecessary Mutools.XML_Utils prefix
2020-09-28 Adrian-Ken... Libmutools: Adapt XML_Utils.Get_Switch_Sources params
2020-09-23 Adrian-Ken... Update Linux to v5.4.66
2020-09-23 Adrian-Ken... integ: Simplify muenblock LVM/Cryptsetup test
2020-09-23 Adrian-Ken... Download/Check initramfs directly in OBJ_DIR
2020-09-23 Adrian-Ken... Update Linux initramfs to 61fa58c...
2020-09-23 Adrian-Ken... Policy: Increase initramfs size to 16#00e0_0000#
2020-09-23 Adrian-Ken... Linux: Enable various crypto modules
2020-09-23 Adrian-Ken... Adapt expect string
2020-09-23 Adrian-Ken... integ: Adjust muenblock-server scripts
2020-09-23 Adrian-Ken... Set Linux version to 5.4
2020-09-23 Adrian-Ken... Update Muenblock submodule to ad6ee1b...
...
tags
16 months ago v0.9.1 Muen version 0.9.1
2 years ago v0.9.0 Muen version 0.9.0
3 years ago v0.8.0 Muen version 0.8.0
4 years ago v0.7.0 Muen version 0.7.0
5 years ago v0.6.0 Muen version 0.6.0
7 years ago doc-print Document print
7 years ago doc-review Document review
heads
4 weeks ago devel-ahci_drv
4 weeks ago devel
5 weeks ago devel-up2-4.0bios
5 weeks ago devel-gnat-wavefront
5 weeks ago devel-gnat-2020
5 weeks ago devel-linux-5.4-test
5 weeks ago devel-desktop-vpid
5 weeks ago devel-desktop
4 months ago devel-drop-mb
6 months ago devel-linux-5.4-desktop-testing
6 months ago devel-libmusinfo-starts-with
7 months ago devel-linux-5.4-buster-chroot
7 months ago devel-linux-5.2
8 months ago devel-ps2-mouse-extensions
9 months ago devel-xhci-debug-vga
12 months ago devel-bochs
...