Informatica Gentoo-Based Porteus Kiosk 4.5 Debuts with EAPoL Support, Linux Kernel 4.12 11 Settembre 2017 admin First and foremost, Porteus Kiosk 4.5.0 bumps the Linux kernel version from the long-term supported Linux 4.9 series, which was used in the previous release, to the Linux 4.12 branch, shipping with Linux kernel 4.12.10 by default, thus adding an extra layer of hardware support to the free and open-source kiosk operating system for public access computers.