foc without kernel debugger

[Matthias Lange]

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 at lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Matthias Lange, matthias.lange at kernkonzept.com, +49-351-41 888 614

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth