added design comments for kernel manager