afaik, the realtime linux is something that a regular linux kernel runs on top of, with some small modifications. so it would mainly mean porting the realtime linux, not extensively modifying the current kernel. and yes, it might be harder than a minimal os, dunno, but it might be a nice solution :)