From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
Date: Mon,  2 Oct 2006 09:21:34 +0000
From: xspager <xspager@gmail.com>
Message-ID: <1159552445.865081.235120@e3g2000cwe.googlegroups.com>
Content-Type: text/plain; charset="iso-8859-1"
References: <1159188606.358160.84860@i3g2000cwc.googlegroups.com>
Subject: [9fans] x87
Topicbox-Message-UUID: c380c54e-ead1-11e9-9d60-3106f5b1d025

Sorry by this, but I think I don't get an answer, because my message
was not posted in 9fans, but now I'm a 9fans registered (?). I'm
waiting for an answer.

 Reading the article "The Various Ports", I get confused which the
 mention about the 387 float point unit. The libc compiled to x86
 machines use the fpu or not? If not how to make it work?