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