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 [email protected]
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
