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 a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
