public static interface KernelState.ChangeListener
void
kernelStateChanged(KernelState ks)
void kernelStateChanged(KernelState ks)