check("KernelRegistry", registry, registry, KernelConstants.KERNEL_REGISTRY_NAME, KernelConstants.KERNEL_REGISTRY_CLASS);
KernelBus bus = kernel.getBus();
check("KernelBus", registry, bus, KernelConstants.KERNEL_BUS_NAME, KernelConstants.KERNEL_BUS_CLASS);
KernelConfig config = kernel.getConfig();
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);