descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeThu, 18 Feb 2016 15:45:14 +0000 (16:45 +0100)
shortlog
2016-02-18 Adrian-Ken... Update toolchain document and README master v0.7.0
2016-02-18 Adrian-Ken... doc: Drop list of listings in toolchain doc
2016-02-18 Reto BuerkiPolicy: Assign ethernet controller to base-hw subject
2016-02-18 Adrian-Ken... README: Update features section
2016-02-18 Adrian-Ken... README: Add reference to mugenhwcfg tool
2016-02-18 Adrian-Ken... README: Add year 2016 to copyright notice
2016-02-18 Adrian-Ken... doc: Update tool descriptions in toolchain doc
2016-02-18 Adrian-Ken... doc: Add kernel diag dev section to toolchain doc
2016-02-18 Adrian-Ken... doc: Add components section to toolchain doc
2016-02-18 Adrian-Ken... doc: Add platform section to toolchain doc
2016-02-16 Reto BuerkiAdjust tool reference in hardware configuration
2016-02-16 Adrian-Ken... Rework subject device vector allocation
2016-02-16 Adrian-Ken... Polciy: Drop explicit resources from logical 'xhci...
2016-02-16 Adrian-Ken... Mark IRQ[0..4] as reserved in legacy subject vector...
2016-02-16 Adrian-Ken... Adjust logical vector of wireless subject device
2016-02-16 Adrian-Ken... Extend subject device vector allocation
...
tags
9 months ago v0.7.0 Muen version 0.7.0
22 months ago v0.6.0 Muen version 0.6.0
3 years ago doc-print Document print
3 years ago doc-review Document review
heads
3 days ago devel
12 days ago devel-reboot-tests
3 weeks ago devel-t380
4 weeks ago devel-vt-reset-slot1
6 weeks ago devel-asm-red-zone
6 weeks ago devel-genode-reduce-bin-size
3 months ago devel-misc-validators
3 months ago devel-components-non-consecutive-arrays
3 months ago devel-mucheckpt
4 months ago devel-t346-precon
4 months ago devel-t346
4 months ago devel-ps2-component-rebased
4 months ago devel-t342
5 months ago devel-ps2-component
5 months ago devel-smi-count
5 months ago devel-nuc-alarm
...