Does Fiasco support floating point?

Matthias Lange matthias.lange at
Tue May 19 08:12:10 CEST 2015


On 05/18/2015 09:11 PM, Yuxin Ren wrote:
> Hi All,
> Does Fiasco support floating point processing?


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

Please have a look into the Fpu class in source files like fpu.cpp and
their architecture dependent parts like fpu-ia32.cpp.


Matthias Lange, matthias.lange at, +49 - 351 - 41 88 86 14

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth

More information about the l4-hackers mailing list