Can't install realtime kernel on jetpack 4.6.1

Can’t install realtime kernel on jetpack 4.6.1 on my Xavier AGX.
I’ve tried:

echo "deb https://repo.download.nvidia.com/jetson/rt-kernel r32.7 main" | sudo tee -a /etc/apt/sources.list.d/nvidia-l4t-apt-source.list

sudo apt update

sudo apt install nvidia-l4t-rt-kernel nvidia-l4t-rt-kernel-headers

But:

Hit:1 https://repo.download.nvidia.com/jetson/common r32.7 InRelease
Hit:2 https://repo.download.nvidia.com/jetson/t194 r32.7 InRelease           
Hit:3 https://repo.download.nvidia.com/jetson/rt-kernel r32.7 InRelease      
Hit:4 http://ports.ubuntu.com/ubuntu-ports bionic InRelease                  
Hit:5 http://ports.ubuntu.com/ubuntu-ports bionic-updates InRelease
Hit:6 http://ports.ubuntu.com/ubuntu-ports bionic-backports InRelease
Hit:7 http://ports.ubuntu.com/ubuntu-ports bionic-security InRelease
Reading package lists... Done                      
Building dependency tree       
Reading state information... Done
67 packages can be upgraded. Run 'apt list --upgradable' to see them.
Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Unable to locate package nvidia-l4t-rt-kernel
E: Unable to locate package nvidia-l4t-rt-kernel-headers

We’re checking with internal team, will do the update once clarified. Thanks

Any news?

Seems https://repo.download.nvidia.com/jetson/rt-kernel no longer available. Is it preferred to compile with PREMPT_RT patch ourselves again?

The rt-kernel was posted on the public APT server, issue should be fixed.