Users guide

Users guide of os-ken.