So, lets come back to routing of IRQ. 

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

        <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>

        <start name="ahci">
                <binary name="ahci" />
                <resource name="RAM" quantum="10M" />
                <provides><service name="Block" /></provides>
                <route>
                        <service name="IRQ"><child name="acpi" /></service>
                        <any-service> <parent /> <any-child /></any-service>
                </route>
        </start>

        <start name="nic_drv">
                <resource name="RAM" quantum="8M"/>
                <provides><service name="Nic"/></provides>
                <route>
                        <service name="IRQ"><child name="acpi" /></service>
                        <any-service> <parent /> <any-child /></any-service>
                </route>
        </start>

Should I use «route» section in ACPI? What should I route? PCI? 


> 
>>> On 03/11/2014 02:25 PM, Christian Helmuth wrote:
>>> Norman did not propose to remove ACPI support itself but the
>>> conditionals controlling its inclusion. If you run Genode on Fiasco-OC
>>> or NOVA you definitely need the acpi_drv and appropriate routes for
>>> IRQ sessions.
>> 
>> Christian is right. With "remove", I was not referring to the ACPI
>> server but the conditionals. You have to keep everything where
>> '[have_spec acpi]' applies and remove everything where '![have_spec
>> acpi]' applies. You did the opposite.
>> 
>> To learn more about the role of the ACPI server, please have a look at:
>> 
>> 
>> https://github.com/genodelabs/genode/blob/master/os/src/drivers/acpi/README
>> 
>> Cheers
>> Norman
>> 
>> 
>> ------------------------------------------------------------------------------
>> 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
> 
> -- 
> Sartakov A. Vasily
> sarta...@ksyslabs.org

-- 
Sartakov A. Vasily
sarta...@ksyslabs.org



Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

------------------------------------------------------------------------------
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