Start to document kernel procedures