diff --git a/Admin/etc/options b/Admin/etc/options
--- a/Admin/etc/options
+++ b/Admin/etc/options
@@ -1,22 +1,25 @@
 (* :mode=isabelle-options: *)
 
 section "Admin tools"
 
 option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de"
   -- "user@host for SSH connection"
 
 option isabelle_components_dir : string = "/home/isabelle/components"
   -- "webspace for ISABELLE_COMPONENT_REPOSITORY"
 
 option isabelle_components_contrib_dir : string = "/home/isabelle/contrib"
   -- "unpacked components for remote build services"
 
 
+option build_host_linux_arm : string = ""
+  -- "SSH user@host for remote build of heaps"
+
 option build_host_linux : string = ""
   -- "SSH user@host for remote build of heaps"
 
 option build_host_macos : string = ""
   -- "SSH user@host for remote build of heaps"
 
 option build_host_windows : string = ""
   -- "SSH user@host for remote build of heaps"