mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
ed370a8f5c
Do not use automatic alias in the run tool for the name of the gpio-driver binary. Ref #2268 |
||
---|---|---|
.. | ||
intel_fb.run | ||
lxip_http_srv.run | ||
lxip_udp_echo.run | ||
usb_hid_panda.run | ||
usb_hid.run | ||
usb_net.run | ||
usb_storage.run | ||
usb_terminal.run | ||
wifi.run |