Built supertux on 10.1-release, no issues. The speed is completely adequate. Many thanks to FreeBSD/arm team. Shame I can get no sound though. My hdmi to vga converter should carry sound too, at least there is a separate sound cable. Do I need to do anything extra on 10.1-release to get sound? Thanks Anton