Port to Psion Linux

See http://www.psilinux.org/

