経験的にはtkgカーネル+PDSスケジューラが一番性能よかったんだけど