Once this is done you should see the real time kernel appearing in your list. For now I am going to use the generic kernel if you're on intel/amd systems, and not the 12 gen specific. If you're on the Pi then you'll be using the raspberry variant.
And when detaching:
For some reason I cannot get the console to display while the applications are running (attaching a Pro can take a long time), and you will not see any output until the program exits. Will continue to try and see if I can fix that in the future.
Note also the kernel is still selectable when you detach. It's always best to switch to a non-rt kernel when you detach just in case.
This is not released yet, will release an alpha once I have complete more tickets. so stay tuned.