Re: [seL4] need ideas

I already changed my message registers to S0-S3 (Callee saved registers), and I do not see original issue anymore

this is not a 100% true, but I am working in this direction) -- Vasily A. Sartakov sartakov@ksyslabs.org