Re: Error unable to initialize cap quota of PD

2017-08-08 Thread Jörg-Christian Böhme
Hi Norman, Am Freitag, 4. August 2017 11:56:38 CEST schrieb Norman Feske: While giving the scenario a quick spin, I observed another cap-quota issue, which is caused by the too low default value of 50 - the value used for all notes that lack an explicit 'caps' attribute. By setting this value

Re: Error unable to initialize cap quota of PD

2017-08-04 Thread Norman Feske
Hi Jörg, thanks for the detailed description of the issue. Please find my comments inline. I must admit that the launcher.run scenario is outdated since I use it very sporadically - only when working on one of the used components. Whenever I use it for this purpose, I use to run it on

Error unable to initialize cap quota of PD

2017-08-02 Thread Jörg-Christian Böhme
My setup/environment: - Source: Branch: master Date: Thu Jun 29 00:18:26 2017 +0200 commit 0d1be4abe2294155e36bc0eb0c1cd61499f08d93 - Target-genode-System: nova x86_64 - Host-System: genode-x86-gcc (GCC) 6.3.0 Ubuntu 17.04 QEMU emulator version 2.8.0(Debian