openmoko is the only correct answer you gave. the dream is running android (which is not gnu/linux, as the OP correctly wrote) palm webos isn't gnu/linux either, just the kernel and a custom web runtime. the aava mobile is a development platform, not a product. (although it's true that it runs a gnu/linux, in the form of MeeGo )