add comments -- analyse linux kernel model