Revision b186f7b2bc704d6dd1fe3ec5317128ce7a821f50

Committed on 26/08/2016 3:29 am by gggeek <[email protected]> [GitHub Diff]

Add settings for legacy kernel (WIP); move kernel to Netgen version; move provisioning of the stack to a separate script