descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeFri, 18 Jun 2021 15:27:19 +0000 (17:27 +0200)
shortlog
4 days ago Adrian-Ken... Restore previous behavior of Mutime.Info.Valid/Is_Valid devel
4 days ago Adrian-Ken... Restore previous behavior of Info.Valid/Is_Valid
4 days ago Adrian-Ken... Libmutime: Extend Info.Valid test
6 days ago Adrian-Ken... Upgrade to GNAT Community 2021 toolchain
6 days ago Adrian-Ken... README: Update iPXE deployment description
6 days ago Reto BuerkiUpdate copyright info in README
6 days ago Reto BuerkiAdjust toolchain description in README
6 days ago Reto BuerkiMugenspec: Adjust test data
6 days ago Reto BuerkiMucheckstack: Adjust test data
6 days ago Reto BuerkiMakeconf: Adjust no counterexample option
6 days ago Adrian-Ken... Specify object size of FIS array type
6 days ago Adrian-Ken... Specify object size of ports array
6 days ago Adrian-Ken... Specify object size of ATA types
6 days ago Adrian-Ken... Add explicit object size to SMART_Attribute_Table_Type
6 days ago Adrian-Ken... Specify object size of command list/table types
6 days ago Adrian-Ken... Add explicit object size to MBR_Type
...
tags
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
6 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
12 hours ago devel-t591
4 days ago devel
6 days ago devel-subject-init
5 weeks ago devel-desktop-vpid
5 weeks ago devel-desktop
2 months ago devel-ibpb
3 months ago devel-ahci_drv
4 months ago devel-ahci_drv-20210210
8 months ago devel-up2-4.0bios
8 months ago devel-linux-5.4-test
14 months ago devel-linux-5.4-desktop-testing
14 months ago devel-libmusinfo-starts-with
14 months ago devel-linux-5.4-buster-chroot
15 months ago devel-linux-5.2
16 months ago devel-ps2-mouse-extensions
17 months ago devel-xhci-debug-vga
...