[PlanetCCRMA] Does the real-time kernel still exist for recent versions of Fedora?

[T-vK]

Hello, I'm currently on Fedora 35 x64 and I just tried to install the
real-time kernel without any success.
I am able to add the repo:
sudo rpm -Uvh
http://ccrma.stanford.edu/planetccrma/mirror/fedora/linux/planetccrma/35/x86_64/planetccrma-repo-1.1-3.fc35.ccrma.noarch.rpm
Now some instructions say to install kernel-rt and others say to install
planetccrma-core, but none of these packages can be found:
sudo dnf install kernel-rt
sudo dnf install planetccrma-core

Does the real-time kernel simply not exist anymore for recent versions
of Fedora or am I doing it wrong?