Alexander Boettcher
269efd1d6d
dde_ipxe: alloc DMA memory via dde_kit
2013-02-26 18:24:21 +01:00
Alexander Boettcher
be0fa1f63a
dde_kit: enable pci lookup by device_class
...
Instead of trying all PCI devices by a specific PCI driver, now the device or
the device class can be limited to the one actually supported by the specific
driver.
2013-02-26 18:24:03 +01:00
Norman Feske
73ab30c22c
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
Christian Helmuth
d0a68f055f
dde_ipxe: use recent iPXE upstream version
...
Currently, we support the following NIC families:
- Intel gigabit ethernet (e1000, e1000e, igb)
- Intel eepro100
- Realtek 8139/8169
Fixes #423 .
2012-10-22 17:01:01 +02:00
Norman Feske
08ce32215d
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
Genode Labs
da4e1feaa5
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00