genode/repos/dde_ipxe/ports
Christian Helmuth 4f0b17a4dc dde_ipxe: update Intel NIC driver to latest upstream
This patch is motivated by sporadic hangs during link down/up on i219
NICs handling and the fix implemented upstream in

  https://git.ipxe.org/ipxe.git/commit/546dd51de8459d4d09958891f426fa2c73ff090d

Issue #1220
2019-05-16 13:11:02 +02:00
..
dde_ipxe.hash dde_ipxe: update Intel NIC driver to latest upstream 2019-05-16 13:11:02 +02:00
dde_ipxe.port dde_ipxe: update Intel NIC driver to latest upstream 2019-05-16 13:11:02 +02:00