Hi,
On Mon Apr 16, 2012 at 17:34:05 -0500, Mai, Haohui wrote:
I think alien is still essential since I plan to run Linux binary directly on top of my OS, thus I don't really want them to call L4 API directly.
If alien thread is required, what would be the best way of doing it?
I haven't checked closely now but if you just touch the FPU in the handler thread and then transmit it, it should work so that any is getting an FPU state. And you probably do not want to have it back then. On the other side, in your execution model, I think you don't even need to forbit doing any L4 call, I should just work.
Adam