ARM Firmware

This is the page that gives information about the firmware of the ARM based device.

The current idea is to use some type of Linux or Linux kernel. Possible choices include Angstrom, Debian, or Arch.
The current plan for the math software is to use GIAC as a backend, and write a custom GUI.