> > Do the DeMuDi multimedia kernels not work with Ubuntu then? Not, IME, if you're using the Ubuntu nvidia drivers. I know I could compile my own nvidia driver (have done in the past on other distros) but I'm experimenting with other RT stuff 1st.