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 -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Achieve unprecedented app performance and reliability What every C/C++ and Fortran developer should know. Learn how Intel has extended the reach of its next-generation tools to help boost performance applications - inlcuding clusters. http://p.sf.net/sfu/intel-dev2devmay _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
