Hello, 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". Thanks.
Regards, Harsha Sharma On Fri, Jul 20, 2018 at 11:12 AM, Alexander Boettcher <[email protected]> wrote: > Sorry, > > https://github.com/alex-ab/genode/commit/460d6b3942314f113015d37db475cee24e4d851c > > 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/e3f86634ef5d55feb16853872c2693667c10545d >> >> 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 > [email protected] > https://lists.genode.org/listinfo/users _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
