Creating an IRQ session

[Alexander Boettcher]

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