Re: Does Fiasco support floating point?
Matthias Lange <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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, [email protected], +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth