I sell a hp715 under debian hppa. the machine is in France if someone is interested please contact me directly. regards jyg