You can build your own kernel on any distribution fwiw