descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeWed, 23 Sep 2020 12:15:56 +0000 (14:15 +0200)
shortlog
33 hours ago Adrian-Ken... Update Linux to v5.4.66 devel
35 hours ago Adrian-Ken... integ: Simplify muenblock LVM/Cryptsetup test
35 hours ago Adrian-Ken... Download/Check initramfs directly in OBJ_DIR
35 hours ago Adrian-Ken... Update Linux initramfs to 61fa58c...
35 hours ago Adrian-Ken... Policy: Increase initramfs size to 16#00e0_0000#
35 hours ago Adrian-Ken... Linux: Enable various crypto modules
35 hours ago Adrian-Ken... Adapt expect string
35 hours ago Adrian-Ken... integ: Adjust muenblock-server scripts
35 hours ago Adrian-Ken... Set Linux version to 5.4
35 hours ago Adrian-Ken... Update Muenblock submodule to ad6ee1b...
35 hours ago Adrian-Ken... Update Muennet submodule to 9bdc623...
35 hours ago Adrian-Ken... Update Linux submodule to 4f97a2e...
7 days ago Adrian-Ken... Linux: Add config for version 5.4
7 days ago Ralf HubertUpdate muenblock to use blockdev 2.0
7 days ago Ralf Hubertinteg: Update muenblock scripts to 2.0 module params
7 days ago Ralf HubertUpdate muenblock submodule to df487c4...
...
tags
15 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
30 hours ago devel-gnat-wavefront
30 hours ago devel-gnat-2020
32 hours ago devel-ahci_drv
32 hours ago devel-misc-minor
33 hours ago devel
2 days ago devel-linux-5.4-test
3 days ago devel-desktop-vpid
3 days ago devel-desktop
3 months ago devel-drop-mb
5 months ago devel-linux-5.4-desktop-testing
5 months ago devel-libmusinfo-starts-with
6 months ago devel-linux-5.4-buster-chroot
6 months ago devel-linux-5.2
7 months ago devel-ps2-mouse-extensions
8 months ago devel-xhci-debug-vga
11 months ago devel-bochs
...