Hi All,
Does Fiasco support floating point processing? If it supports, where is code to initialize and save/store floating point registers?
Thanks a lot. Yuxin
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
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.
l4-hackers@os.inf.tu-dresden.de