Creating an IRQ session

[Alexander Boettcher]

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