foc without kernel debugger

[Johannes Kliemann]

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