Hello,
On Thu, May 12, 2011 at 02:50:51PM -0700, Daniel Waddington wrote:
Guess we need to add the template parameter to max, max<unsigned long>?
That will help, but the mistake here is to use gpxe_drv on Linux. Up to now, Genode/Linux does not use real device drivers but brings its own versions for some device classes. In your case, you'll have to use nic_drv from os/src/drivers/nic/linux and remove pci_drv from the init config. You should also disable the linux_drivers and dde_gpxe repositories in the Genode/Linux build configuration and do a complete rebuild.
Regards