virtual/dist-kernel
