Creating an IRQ session

Alexander Boettcher alexander.boettcher at genode-labs.com
Fri Jul 20 09:03:31 CEST 2018


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



More information about the users mailing list