On 20.07.2018 11:15, Harsha Sharma wrote:
I'll test it and let you know soon. Can you also tell, how can I create a vaild IRQ session request for which I don't get the error "Binding IRQ to ICU failed".
I fear without some information, no.
I don't know on which platform (x86/ARM-board) you are running nor which irq parameters you provide to the session creation request. The irq parameters must be supported on your target hardware, so you can't just use some random values here.
Alex.
Thanks.
Regards, Harsha Sharma
On Fri, Jul 20, 2018 at 11:12 AM, Alexander Boettcher alexander.boettcher@genode-labs.com wrote:
Sorry,
https://github.com/alex-ab/genode/commit/460d6b3942314f113015d37db475cee24e4...
should fit better.
On 20.07.2018 09:03, Alexander Boettcher wrote:
Hello,
On 19.07.2018 13:13, Harsha Sharma wrote:
Hello,
I get the following error when child component issues a session request for IRQ session: Error: Binding IRQ to the ICU failed But parent returns a session capability and then Error: unavailable IRQ requested
if for some reason the IRQ can't be setup, you are right, the session creation request should fail and no session capability should be provided. Please give the commit [0] a try.
[0] https://github.com/alex-ab/genode/commit/e3f86634ef5d55feb16853872c2693667c1...
Regards,
-- Alexander Boettcher Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users