Your answer really helps. Probably it's not a good idea to use PalmOS for the project because access to it is too difficult.
I just found a hint for a board support package from INTEL without detailed information. "Board support packages for ... PalmOS* ... are available for the Intel DBPXA25x Development Platform. Please contact your Intel field sales representative..." -- For information on using the Palm Developer Forums, or to unsubscribe, please see http://www.palmos.com/dev/support/forums/