descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeWed, 5 Aug 2020 12:40:01 +0000 (14:40 +0200)
shortlog
27 hours ago Adrian-Ken... Adapt component layout devel
2 days ago Adrian-Ken... Further refine expanded idle subject spec
2 days ago Adrian-Ken... Adjust idle subject binary memory region & mapping
2 days ago Adrian-Ken... Mucfgexpand: Adjust Tau0 binary memory region & mapping
2 days ago Adrian-Ken... Libmucfgvcpu: Set native profile RIP to 0x200000
2 days ago Adrian-Ken... Add note regarding stack size to component.ld
2 days ago Adrian-Ken... Components: Move .text section to 0x200000
2 days ago Adrian-Ken... Split idle subject stack into separate region
2 days ago Adrian-Ken... Mucfgexpand: Split Tau0 stack into separate region
2 days ago Adrian-Ken... Various minor fixes
2 days ago Adrian-Ken... Update tau0 static to revision 4fe6052
2 days ago Reto BuerkiMention UP^2 maker board in README
2 days ago Adrian-Ken... Mucfgexpand: Adapt loader source region mappings
2 days ago Adrian-Ken... Dbgserver: Improve serial device resource extraction
2 days ago Adrian-Ken... Minor: Adjust parameter name in smpify.py
2 days ago Adrian-Ken... Simplify guest_vm component
...
tags
13 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
3 hours ago devel-components-integrated-init
5 hours ago devel-ahci_drv-rebased
26 hours ago devel-gnat-wavefront
27 hours ago devel
41 hours ago devel-muenblock-2.0
2 days ago devel-ahci_drv
2 weeks ago devel-muenblock-2.0-linux-5.4
2 months ago devel-drop-mb
2 months ago devel-muenblock-2.0-smp-events
2 months ago devel-linux-smp-events
3 months ago devel-linux-5.4-desktop-testing
4 months ago devel-libmusinfo-starts-with
4 months ago devel-integ-buster-chroot
4 months ago devel-linux-5.4
4 months ago devel-linux-5.4-buster-chroot
4 months ago devel-linux-5.2
...