genode/repos/dde_ipxe/ports
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
..
dde_ipxe.hash dde_ipxe: enable BCM57cxx cards 2015-07-06 12:22:27 +02:00
dde_ipxe.port dde_ipxe: enable BCM57cxx cards 2015-07-06 12:22:27 +02:00