Does Fiasco support floating point?

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon May 18 23:36:50 CEST 2015


On Mon May 18, 2015 at 15:11:41 -0400, Yuxin Ren wrote:
> Does Fiasco support floating point processing?

Sure.

> If it supports, where is code to initialize and save/store floating point
> registers?

Check files with 'fpu' in their name such as fpu-ia32.cpp.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/



More information about the l4-hackers mailing list