diff -r f34559b24277 -r d17b0851a61a src/Pure/System/numa.scala
--- a/src/Pure/System/numa.scala	Mon Feb 20 16:36:03 2023 +0100
+++ b/src/Pure/System/numa.scala	Mon Feb 20 17:10:22 2023 +0100
@@ -46,7 +46,7 @@
 
   /* shuffling of CPU nodes */
 
-  def enabled: Boolean =
+  def available: Boolean =
     try { nodes().length >= 2 && numactl_available }
     catch { case ERROR(_) => false }