# HG changeset patch
# User wenzelm
# Date 1699731800 -3600
# Node ID 87ac093e4d1a6b7547023b7adfcedfb5057e056d
# Parent  73162a487f94d56daa352eb246cb3a8736081f24
some build cluster resources at TUM;

diff -r 73162a487f94 -r 87ac093e4d1a Admin/build/TUM.toml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/build/TUM.toml	Sat Nov 11 20:43:20 2023 +0100
@@ -0,0 +1,20 @@
+# Build cluster resources at TUM
+
+[host.lxbroy10]
+hostname = "lxbroy10.informatik.tu-muenchen.de"
+numa = true
+
+[host.vmnipkow9]
+hostname = "vmnipkow9.informatik.tu-muenchen.de"
+
+[host.mini1]
+hostname = "131.159.47.71"
+
+[host.mini2]
+hostname = "131.159.47.72"
+
+[host.mini3]
+hostname = "131.159.46.69"
+
+[host.studio1]
+hostname = "131.159.46.182"