genode/repos/dde_linux/ports
Stefan Kalkowski ec60ad3a80 dde_linux: remove legacy_rpi_usb_host_drv
* Cleanup the dde_linux port

Fix genodelabs/genode#4965
2023-07-14 12:06:32 +02:00
..
dde_linux.hash dde_linux: remove legacy_rpi_usb_host_drv 2023-07-14 12:06:32 +02:00
dde_linux.port dde_linux: remove legacy_rpi_usb_host_drv 2023-07-14 12:06:32 +02:00
libnl.hash Move libnl to own port 2022-05-25 12:22:10 +02:00
libnl.port Move libnl to own port 2022-05-25 12:22:10 +02:00
linux-firmware.hash port/metadata: improve info for multi-source ports 2023-05-30 12:03:34 +02:00
linux-firmware.port port/metadata: improve info for multi-source ports 2023-05-30 12:03:34 +02:00
linux.hash intel/display: replace intel_fbdev with drm/kms 2023-05-30 12:03:30 +02:00
linux.port intel/display: replace intel_fbdev with drm/kms 2023-05-30 12:03:30 +02:00
wpa_supplicant.hash dde_linux: update wpa_supplicant to version 2.10 2023-05-30 12:03:33 +02:00
wpa_supplicant.port dde_linux: update wpa_supplicant to version 2.10 2023-05-30 12:03:33 +02:00