Our traditional platform is based upon Gentoo Linux. It is maintained but not developed much further.