descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeTue, 11 Jun 2019 08:44:32 +0000 (10:44 +0200)
shortlog
2019-06-11 Reto BuerkiFix muenblock reference in README master v0.9.1
2019-06-07 Reto BuerkiRe-enable GNAT -gnatyt switch
2019-06-07 Reto BuerkiFix warnings reported by -gnatyt
2019-06-07 Reto BuerkiRe-enable -gnatyt switch
2019-06-07 Reto BuerkiMinor fixes and update to Community 2019 toolchain
2019-06-07 Reto BuerkiUpdate README for release v0.9.1
2019-06-07 Reto BuerkiTravis: Add script for Debian GNU/Linux 10 (Buster)
2019-06-07 Reto Buerkicontrib: Update ada-bfd to latest upstream version
2019-06-07 Reto BuerkiDocker: Update toolchain to GNAT Community 2019
2019-06-07 Adrian-Ken... Minor: Fix indentation
2019-06-07 Adrian-Ken... Do not use default initialized table entries in tests
2019-06-07 Adrian-Ken... Libpaging: Add global test entry to maps test package
2019-06-07 Adrian-Ken... Only generate tests for root project
2019-06-07 Adrian-Ken... Switch language from Asm to Asm_Cpp
2019-06-07 Adrian-Ken... Kernel: Drop pragma Warnings for unused variables
2019-06-07 Adrian-Ken... contrib: Disable style warnings in libsparkcrypto
...
tags
9 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
6 years ago doc-print Document print
6 years ago doc-review Document review
heads
41 hours ago devel-solo5-abi
2 days ago devel
5 days ago devel-tau0-only
6 days ago devel-libmusinfo-starts-with
12 days ago devel-integ-buster-chroot
2 weeks ago devel-linux-5.4-desktop-testing
2 weeks ago devel-linux-5.4
2 weeks ago devel-linux-5.4-buster-chroot
2 weeks ago devel-linux-5.2
2 weeks ago devel-integ-muenblock
2 weeks ago devel-desktop-vpid
2 weeks ago devel-desktop
3 weeks ago devel-ahci_drv
8 weeks ago devel-ps2-mouse-extensions
2 months ago devel-xhci-debug-vga
3 months ago devel-mirageos-article-update
...