FPU state management in L4Fiasco.OC program

[Adam Lackorzynski]

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
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/