Does Fiasco support floating point?
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?
> If it supports, where is code to initialize and save/store floating point
Check files with 'fpu' in their name such as fpu-ia32.cpp.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers