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