Hello,
I'll test it and let you know soon. Can you also tell, how can I create a vaild IRQ session request for which I don't get the error "Binding IRQ to ICU failed". Thanks.
Regards, Harsha Sharma
On Fri, Jul 20, 2018 at 11:12 AM, Alexander Boettcher alexander.boettcher@genode-labs.com wrote:
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,
-- 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
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users