Stefan Kalkowski
dcc28b65cb
run: use driver_nic-* pkg where possible ( fix #3180 )
2019-05-16 13:10:06 +02:00
Stefan Kalkowski
7c1e3c84ba
os: name gpio_drv unambigously (ref #2190 )
2019-05-16 12:52:59 +02:00
Johannes Schlatow
11d8f97845
zynq: restructure nic_drv spec structure
...
The zynq nic_drv also depends on hw, we therefore adapted the folder
structure for clarity. Also renamed the binary to 'zynq_nic_drv' to
prevent conflicts and to allow removing the cadence_gem spec.
Issue #3179
2019-02-26 14:47:02 +01:00
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
Christian Helmuth
abdd1d7715
Adapt network run scripts for recent Qemu (3.1)
...
-netdev and -device should work with Qemu versions >= 2.5 at least but
3.0 dropped support for legacy -net completely.
2019-02-19 11:12:10 +01:00
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
