singrdk/docs/Papers/2005_HotOS_MakingSystemConf...