20 Jul
2018
20 Jul
'18
9:03 a.m.
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