Add document for kernel internals