CRUX PPC GNU/Linux now includes Parma Polyhedra Library
hi, just to say thanks for your work and to inform that our last toolchain now includes PPL too. CRUX PPC is a port of CRUX for the Power Architecture® platform. It’s a GNU system with a Linux kernel and runs on Apple NewWorld (both 32 and 64bit) PowerPC, YDL Powerstation, Genesi PegasosII and EFIKA, ACube Sam440ep, IBM RS/6000 CHRP and pSeries servers. CRUX PPC includes support for laptop-specific features, extended hardware support and server tools. thanks again and best regards. -- GNU/Linux on Power Architecture CRUX PPC - http://cruxppc.org/
On 12/17/09 21:17, acrux wrote:
hi,
just to say thanks for your work and to inform that our last toolchain now includes PPL too.
CRUX PPC is a port of CRUX for the Power Architecture® platform. It’s a GNU system with a Linux kernel and runs on Apple NewWorld (both 32 and 64bit) PowerPC, YDL Powerstation, Genesi PegasosII and EFIKA, ACube Sam440ep, IBM RS/6000 CHRP and pSeries servers. CRUX PPC includes support for laptop-specific features, extended hardware support and server tools.
thanks again and best regards.
Hi Nico, thanks for your kind message: it is much appreciated. Please do not hesitate to get in touch with us in case you need help or wish to suggest improvements to the PPL. All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
participants (2)
-
acrux -
Roberto Bagnara