Emery Hemingway
|
bebbc87c3a
|
Replace static "genodelabs" depot user with "[depot_user]" call
Use "depot_user" TCL procedure may be used in run scripts for tests not
related to downloading specific packages.
Fix #3170
|
2019-02-26 14:44:31 +01:00 |
|
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 |
|