src/Pure/System/host.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/System/host.scala	Thu Mar 02 14:22:17 2023 +0100
@@ -0,0 +1,16 @@
+/*  Title:      Pure/System/host.scala
+    Author:     Makarius
+
+Information about compute hosts.
+*/
+
+package isabelle
+
+
+object Host {
+  /* allocated resources */
+
+  object Node_Info { def none: Node_Info = Node_Info("", None) }
+
+  sealed case class Node_Info(hostname: String, numa_node: Option[Int])
+}