High school student needed to port Maxima to Raspberry Pi



[I'm not connected with this organization in any way; I just think that this
is a very cool little machine.]

Raspberry Pi has a programming contest for kids <18 with $1000 first prize.

Contest just began 7/7 and ends Sept 1, 2012 at 9am British Summer Time.

Maxima should be able to run using the $35 Raspberry Pi machine as a server.

It has 256MBytes of memory and uses an SD card for persistent memory, but
with a USB port you can also have a hard disk drive.  It has a LAN port. 
The chip is a Broadcom BCM2835 with ARM1176JZFS complete with floating point
& runs at 700MHz.

Any ARM compiler that supports ARMv6 will be suitable.

There is a downloadable emulator, so you don't even have to actually have the
machine in hand in order to play.

The Linux is Debian.

http://www.raspberrypi.org/archives/1531

Extra credit: utilize the HDMI display capability for Maxima plots.