how to debug gdb?

[Norman Feske]

Hi Alexander,

On 11.04.21 00:03, Alexander Tormasov via users wrote:
> I try to start linux version and fail
> ...
>   Program lib/ld/linux/ld-linux
> make[1]: Leaving directory '/var/services/homes/admin/gen/21.02/build/x86_64'
> genode build completed
> using 'core-linux' as 'core'
> using 'linux_timer_drv' as 'timer'
> using 'ld-linux.lib.so' as 'ld.lib.so'
> spawn ./core
> Genode 20.11-203-g9c8a05c12 <local changes>
> 17592186044415 MiB RAM and 8997 caps assigned to init
> [init] Error: SECCOMP_SET_MODE_FILTER failed -38

since Genode 20.05, Genode on Linux uses seccomp to sandbox components
by default [1]. The error -38 corresponds to ENOSYS. Your Linux kernel
apparently lacks seccomp support.

For your debugging purposes, you may try side-stepping the seccomp-based
sandboxing by placing an early return at the beginning of the
'binary_ready_hook_for_platform' in 'base-linux/src/lib/base/platform.cc'.

[1]
https://genode.org/documentation/release-notes/20.05#Capability-based_security_using_seccomp_on_Linux

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth