Re: [seL4] pic/no-pic and some other questions

Greetings Thank you for answers.

Isn't this what 'sel4utils_arch_init_context_with_args', called from 'sel4utils_start_thread' is for?

I think you are right (of course you know better). I have put here stack shift original but everything crashes at start of first test. Have no idea why. I will take another look -- Vasily A. Sartakov sartakov@ksyslabs.org