4 Commits

Author	SHA1	Message	Date
Norman Feske	81fb10daaa	Consistently name block components ... This patch replaces abbreviations like "blk", "cli", and "srv" by their full forms "block", "client", and "server". Fixes #1258	2019-01-14 12:34:39 +01:00
Christian Helmuth	e1b27885f9	solo5: needs IRQ for timer on sel4	2019-01-07 12:25:44 +01:00
Christian Helmuth	dee4d43eb9	Use common abort message in solo5 run scripts ... This enables our nightly tools to detect this abort is not fatal but because of an unsupported platform.	2018-11-27 11:36:35 +01:00
Emery Hemingway	bc539ce892	Native Solo5 bindings ... A shared library implementation of the unikernel middleware. https://github.com/Solo5/solo5 Fix #2945	2018-11-16 15:07:52 +01:00