user mode linux はちょっと遅すぎて使いものにならないので VMware に。やっぱりこちらだとそこそこ普通の速度では動く。とはいえいつまでもRed Hat 7.2 というのも嫌なので、某アプリケーションが更新されることを切に願う。