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
