# HG changeset patch # User wenzelm # Date 1677765864 -3600 # Node ID e50cad69cbe79ede0d50ed1020a8fcfb9b615aed # Parent f376aebca9c1a644fa395e7753ca890e127ea814 tuned comments; diff -r f376aebca9c1 -r e50cad69cbe7 src/Pure/System/host.scala --- a/src/Pure/System/host.scala Thu Mar 02 14:58:59 2023 +0100 +++ b/src/Pure/System/host.scala Thu Mar 02 15:04:24 2023 +0100 @@ -4,7 +4,8 @@ Information about compute hosts, including NUMA: Non-Uniform Memory Access of separate CPU nodes. -See also https://www.open-mpi.org/projects/hwloc notably "hwloc-ls". +See also https://www.open-mpi.org/projects/hwloc --- notably "lstopo" or +"hwloc-ls" (e.g. via Ubuntu package "hwloc"). */ package isabelle