Is it allowed to use FPU/MXX inside kernel? I recall that this is not
possible since kernel doesn't save FPU state when swiching between kernel
and user modes. Or am I just misunderstood this.
Best regards,
Hannu
-----
Hannu Savolainen (hannu@voxware.pp.fi, hannu@4front-tech.com)
http://www.4Front-Tech.com/oss.html (Open Sound System (OSS))
http://personal.eunet.fi/pp/voxware (OSS Free/TASD/VoxWare)