Good for HP! Somewhat ironically that was the company (well, DEC which was then borged by Compaq which was then borged by HP) that pioneered the Linux handheld computer.