Re: Creating an IRQ session

2018-07-20 Thread 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 >>

Re: Error: ID space not empty at destruction time

2018-07-20 Thread Emery Hemingway
Hello Stefan, I would not worry about this error, it will disappear in the near future and for the moment you should not suffer any side effects. Regards, Emery On Tuesday, July 17, 2018 1:46:51 PM CEST, Stefan Thöni wrote: Hello Genodians, when the verify tool is terminated by removal from

Re: Fullscreen VM in sculpt

2018-07-20 Thread Alexander Boettcher
Hi, On 19.07.2018 22:02, Roman Iten wrote: > What puzzles me more right now is the following behavior: when I grab > and drag the resize handle of the window decorator in order to change > the size of the window, the window edge doesn't "follow" the mouse > pointer. Only after a delay of about 2

Re: Creating an IRQ session

2018-07-20 Thread 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