Sebastian Sumpf ffaf65efa0 dde_ipxe: enable BCM57cxx cards ...

Add tg3 driver files and adjust Genode's ipxe code. Tested on Fiasco.OC only.

issue #1609

2015-07-06 12:22:27 +02:00

..

add_devices.patch

dde_ipxe: enable Intel I218-LM/I218-V PCI ID

2014-12-05 15:17:00 +01:00

dde_ipxe.patch

dde_ipxe: remove dde_kit

2015-04-23 16:47:58 +02:00

tg3.patch

dde_ipxe: enable BCM57cxx cards

2015-07-06 12:22:27 +02:00