First commit

config/sys.config

@@ -0,0 +1,28 @@
+%% -*- mode: erlang; erlang-indent-level: 4; indent-tabs-mode: nil -*-
+
+[
+ { kernel,
+   [
+    {inet_dist_use_interface, {127,0,0,1}},
+    {logger_level, all},
+    {logger,
+     [ {handler, default, logger_std_h,
+        #{
+          formatter =>
+              {logger_formatter, #{ legacy_header => false
+                                  , single_line => true
+                                  , template => [ "[", time, "] "
+                                                , mfa, ":", line, " "
+                                                , pid, " "
+                                                , "[", level, "] "
+                                                , msg, "\n"]
+                                  }}
+         }}
+     ]}
+   ]},
+
+ { setup, [
+           {data_dir, "$HOME/data"},
+           {log_dir, "$HOME/log"}
+          ]}
+].

config/vm.args

@@ -0,0 +1,7 @@
+-sname gmhc@localhost
+
+-setcookie gmhc_cookie
+
+# This setting should not be changed, since this will not do any harm if the
+# system doesn't support kernel polling.
++K true