GNU 일반 공중 사용 허가서
《SuperTux》는 GNU 일반 공중 사용 허가서(GNU GPL)로 배급된 자유-오픈 소스 2차원 플랫폼 게임이다. 이 게임은 닌텐도의 슈퍼 마리오브라더스 시리즈의 영향을 받았다. 마리오 대신 이 게임의 히어로는 리눅스 커널의 마스코트인 턱스이다.