The core kernel for the buil