Library core_kernel

The entry point for this library is module Core_kernel.