Does Fiasco support floating point?

Adam Lackorzynski adam at
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?


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

More information about the l4-hackers mailing list