Gentoo kernel on RH 2025-04-10 hello anyone know if it's possible (or already got) to use gentoo kernel on a RHEL server? thanks