mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 10:08:53 +00:00
22bee79534
Now, ./tool/ports/metadata dde_linux produces the following output. PORT: dde_linux LICENSE: GPLv2 VERSION: individual (see sources) SOURCE: https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.4.3.tar.xz VERSION 4.4.3 (lxip) SOURCE: https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (fec) SOURCE: https://github.com/cproc/dwc_otg.git git r5 (dwc_otg_host) SOURCE: https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_host) SOURCE: https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_hid) SOURCE: https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_modem) SOURCE: https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_net) Issue #4685 |
||
---|---|---|
.. | ||
dde_linux.hash | ||
dde_linux.port | ||
libnl.hash | ||
libnl.port | ||
linux-firmware.hash | ||
linux-firmware.port | ||
linux.hash | ||
linux.port | ||
wpa_supplicant.hash | ||
wpa_supplicant.port |