Hi Johannes,
On [04-07-2018 15:06], Johannes Kliemann wrote:
Hi all,
I tried to use Fiasco.OC without the kernel debugger, respectively with the following config changes:
diff --git a/repos/base-foc/config/x86_64.kernel b/repos/base-foc/config/x86_64.kernel index 07159da20d..8b8b1c8c50 100644 --- a/repos/base-foc/config/x86_64.kernel +++ b/repos/base-foc/config/x86_64.kernel @@ -56,12 +56,7 @@ CONFIG_STACK_DEPTH=y # CONFIG_IRQ_SPINNER is not set # CONFIG_WATCHDOG is not set CONFIG_SERIAL=y -CONFIG_JDB=y -CONFIG_JDB_LOGGING=y -CONFIG_JDB_DISASM=y -CONFIG_JDB_GZIP=y -# CONFIG_JDB_ACCOUNTING is not set -CONFIG_JDB_MISC=y +# CONFIG_JDB is not set CONFIG_POWERSAVE_GETCHAR=y # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y
It compiles without any errors but the execution fails with multiple messages of:
KERNEL: Warning: nothing mapped: (Obj_space) from [0xffffffff81fd1e90/ffffffffffffffff]: 000000000000000a size: 0000000000000001 to [0xffffffff81fd1d80/ffffffffffffffff]
This message indicates that somebody is trying to map a capability without sufficient rights or the mapped capability is the invalid cap.
Maybe a component has a hard dependency on the 'jdb' capability?
Best, Matthias.
Are there any further requirements to use foc without the kernel debugger?
Regards, Johannes
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users