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.
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
