Hello Guido,
On 29.07.2015 00:34, Guido Witmond wrote:
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.
If you mean master, you should not have to change anything to the run script. The pci driver is no more - it got changed into platform driver and is already considered by the lighttpd run script (look for (*_platform_drv*).
Cheers,
Alex.
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.
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main