Does Fiasco support floating point?

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


Hi,

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

Yes.

> 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.


-- 
Matthias Lange, matthias.lange at kernkonzept.com, +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