This may be a repetitive question, but what's the status of the HPC ARM port? I have a HP720 and significant experience with both BSD and unix C, is there any way I could help? Enry