
18 Dec
2009
18 Dec
'09
1:21 p.m.
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