Skip to main content

IKernel.java (Source)

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