Re: loading core symbols for debugging purpose

2018-08-07 Thread Christian Helmuth
Hello Parfait, On Tue, Aug 07, 2018 at 03:33:31PM +0200, Parfait Tokponnon wrote: > My goal is to set breakpoint at some instruction address in the core > process to trace its execution. To achieve this, I use this command in gdb. > *add-symbol-file * > > But I cannot access the core load

Re: width of log window in sculpt 18.06

2018-08-07 Thread Norman Feske
Hi Pirmin, > Only one thing doesn't work for me at the moment. In 18.05 it was possible to > increase the width of the log window by > changing the configuration for log_nit_fb in /config/leitzentrale. I used > this a lot for better readability of the log. the placement and size of the windows

loading core symbols for debugging purpose

2018-08-07 Thread Parfait Tokponnon
Hello, My goal is to set breakpoint at some instruction address in the core process to trace its execution. To achieve this, I use this command in gdb. *add-symbol-file * But I cannot access the core load address. *objdump -h debug/core-nova.o *yields LMA for the .text section :

Re: ARM/sel4 compatibility

2018-08-07 Thread Alexander Boettcher
Hello, On 06.08.2018 16:15, Edward Sandberg wrote: > Can someone please provide an up-to-date ARM hardware compatibility list > for Genode 18.05 and seL4: boards and drivers? Which boards are tested > regularly? as stated in the 17.08 [0] release notes - we solely enabled the Wandboard as an