/** @return */
  public int getKernelHash() {
    getKernelInformations();

    int kernelHash = 0;

    for (int i = 0; i < infos.length; i++) {
      kernelHash = (31 * kernelHash) + infos[i].hashCode();
    }

    return kernelHash;
  }