public interface IKernel {

    /**
     * Load the kernel on top of the system image.
     */
    void loadKernel();
}