Linux Distribution

[email protected] Tue, 18 Dec 2012 10:41:46 +0100

Newsgroups	gmane.comp.gnu.gnucap.general
Message-ID	<[email protected]>

Hello guys,

I would like to know if some of you use a real time linux distribution 
with Gnucap ?

I was thinking about RTLinux, on the other hand i was thinking about 
using a Gentoo, do you guys have any idea about performance gain and 
what compilation options to use to make Gnucap as fast as possible !


Thanks !