Hello Genodians,
I'm about to test your new tg3 driver on my system. However, I cannot get genode to compile.
I've got the latest genodelabs/genode repos checked out.
This is the part that's breaking:
diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run index 60b9937..8148fe9 100644 --- a/repos/ports/run/lighttpd.run +++ b/repos/ports/run/lighttpd.run @@ -6,6 +6,7 @@
set build_components { core init + drivers/pci drivers/nic drivers/timer app/lighttpd @@ -41,7 +42,17 @@ append config { <provides><service name="Timer"/></provides> </start>}
-append_platform_drv_config +#append_platform_drv_config +append_if [have_spec pci] config { + <start name="pci_drv"> + <resource name="RAM" quantum="4M"/> + <provides><service name="PCI"/></provides> + <config> + <policy label="nic_drv"> + <pci bus="0x10" device="0" function="0"/> + </policy> + </config> + </start>}
append config { <start name="nic_drv">
In short: I need the pci driver to attach the nic_drv to the correct device, one of three available ethernet cards.
It gives this error:
make run/lighttpd ... Error: target 'drivers/pci' does not exist ...
Where do I get the pci-driver from, it's missing in repos/os/src/drivers
Cheers, Guido.