check("KernelConfig", registry, config, KernelConstants.KERNEL_CONFIG_NAME, PropertyKernelConfig.class.getName());
KernelConfigurator configurator = kernel.getConfigurator();
check("KernelConfigurator", registry, configurator, KernelConstants.KERNEL_CONFIGURATOR_NAME, KernelConstants.KERNEL_CONFIGURATOR_CLASS);
KernelController controller = kernel.getController();
check("KernelController", registry, controller, KernelConstants.KERNEL_CONTROLLER_NAME, KernelConstants.KERNEL_CONTROLLER_CLASS);
KernelEventManager eventManager = kernel.getEventManager();
check("KernelEventManager", registry, eventManager, KernelConstants.KERNEL_EVENT_MANAGER_NAME, KernelConstants.KERNEL_EVENT_MANAGER_CLASS);
}