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 > [email protected] > https://lists.genode.org/listinfo/users -- Matthias Lange, [email protected], +49-351-41 888 614 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
