some note are added, mostly in ./kernel