genode/repos/dde_linux/lib/mk/spec
Christian Prochaska 38dcdeeb04 fec_nic_drv: arm_64 support
Fixes #3446
2019-08-13 12:02:27 +02:00
..
arm dde_linux: name usb_drv unambigously 2019-05-16 13:11:00 +02:00
arm_64 fec_nic_drv: arm_64 support 2019-08-13 12:02:27 +02:00
x86 dde_linux: name usb_drv unambigously 2019-05-16 13:11:00 +02:00
x86_32 dde_linux: name usb_drv unambigously 2019-05-16 13:11:00 +02:00
x86_64 dde_linux: name usb_drv unambigously 2019-05-16 13:11:00 +02:00