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
