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] Are there any further requirements to use foc without the kernel debugger? Regards, Johannes _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
