descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 6 Feb 2017 14:50:47 +0000 (15:50 +0100)
shortlog
2017-02-06 Adrian-Ken... Rework Makefile contrib handling master v0.8.0
2017-02-06 Adrian-Ken... Rework Makefile contrib handling
2017-02-06 Reto BuerkiMinor changes for 0.8 release
2017-02-06 Reto BuerkiREADME: Adjust institute name
2017-02-06 Reto BuerkiREADME: Increase width of example.svg to 70%
2017-02-06 Reto BuerkiRemove webpage files and Makefile targets
2017-02-06 Reto BuerkiUpdate Mugenschedcfg tool to version 8a7f07b
2017-01-27 Reto BuerkiWebsite-related minor changes in README
2017-01-26 Reto BuerkiAdd description of Mucgenspec tool to toolchain doc
2017-01-26 Adrian-Ken... Update docs for upcoming 0.8.0 release
2017-01-26 Adrian-Ken... doc/toolchain: Minor corrections
2017-01-26 Adrian-Ken... doc/toolchain: Extend events subsection
2017-01-26 Adrian-Ken... README: Add package dependency of iPXE
2017-01-26 Adrian-Ken... doc/toolchain: Update Mucfgmerge related parts
2017-01-26 Reto BuerkiMention the support for Windows in README
2017-01-26 Reto BuerkiAdd Intel NUC 5i5MYHE to hardware table in README
...
tags
6 weeks ago v0.8.0 Muen version 0.8.0
13 months ago v0.7.0 Muen version 0.7.0
2 years ago v0.6.0 Muen version 0.6.0
3 years ago doc-print Document print
3 years ago doc-review Document review
heads
9 days ago devel-t404
9 days ago devel-multibuild-xhci-debug
9 days ago devel-multibuild-section-conditionals
9 days ago devel
9 days ago devel-lenovo-x260
9 days ago devel-xhci-debug
10 days ago devel-mirage
10 days ago devel-nuc-6i7kyk
2 weeks ago devel-crash-audit
3 weeks ago devel-multibuild
6 weeks ago master
2 months ago devel-components-non-consecutive-arrays
3 months ago devel-mce
4 months ago devel-t380
7 months ago devel-mucheckpt
7 months ago devel-t346-precon
...