[PlanetCCRMA] YCollet's realtime kernel on Fedora 31

[Yoann LE BARS]

Hello everybody out here!

	I have a question about YCollet’s realtime kernel on Fedora 31, I hope
this list is the right medium to do so.

	I have just installed a new computer, to run Fedora 31, and enabled
YCollet’s MAO COPR repository and installed the realtime kernel:

$ rpm -qa | grep kernel-rt-mao
kernel-rt-mao-5.2.21.rt15-9.fc31.x86_64
kernel-rt-mao-5.2.21.rt14-9.fc31.x86_64

	However, I cannot see any realtime kernel on GRUB’s boot menu. Is this
a known issue?

	Best regards.

-- 
Yoann LE BARS
http://le-bars.net/yoann/
Diaspora* : ylebars at framasphere.org