Re: Does Fiasco support floating point?
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/