Re: Creating an IRQ session

Sorry,

https://github.com/alex-ab/genode/commit/460d6b3942314f113015d37db475cee24e4...

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/e3f86634ef5d55feb16853872c2693667c1...

Regards,