Re: [seL4] seL4SharedData

Hello

Having a flush method on seL4SharedData would be the ideal solution.

We are not in a position to upgrade our CAmkES version on this product at the moment.

Any thoughts?

I would also consider a development of CPU-bound memory encryption