A Rapid OS development framework with Resea