Hi Vasily,

> As far I understand, I have to use ACPI for providing PCI and IRQ.
> right? AHCI and NIC should use IRQ from ACPI, right?

yes.

> <start name="acpi"> <resource name="RAM" quantum="12M"/> <binary
> name="acpi_drv"/> <provides> <service name="PCI"/> <service
> name="IRQ" /> </provides> <route> <service name="PCI"> <any-child
> /> </service> <any-service> <parent/> <any-child /> </any-service> 
> </route> </start>
...
> Should I use «route» section in ACPI? What should I route? PCI?

You just revealed a superfluous route. There is indeed no point in
having the route for PCI specified for the ACPI driver because the
ACPI driver will never open a PCI session. Internally, the ACPI driver
spawns an instance of the PCI driver as a child process, but this is
of no concern for the init configuration.

You can safely remove the "PCI" route. Just make sure that the IRQ
session of the ACPI driver is routed to core's IRQ session. The second
rule (for '<any-service>') takes care of that because '<parent />'
appears before '<any-child />.

We will remove the superfluous route from the README (and the places
where this configuration snippet was copied). Thanks for the notice!

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/13534_NeoTech
_______________________________________________
Genode-main mailing list
Genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to