Doc: Fixed URL of the Git repository

[eval.git] / default.cfg

diff --git a/default.cfg b/default.cfg
index 699a89dc122770928756ddf61ab009b91e2fafdf..7df097815229b9b3214701b31a64921100917894 100644 (file)
--- a/default.cfg
+++ b/default.cfg
@@ -6,9 +6,16 @@ Set("CONFIG_SUBMIT" => 1);
 # Build MO-P contest environment
 Set("CONFIG_MOP" => 1);
 
+# If you are running a 64-bit Linux kernel, you need to build a 64-bit
+# sandbox and decide whether your userspace is 32- or 64-bit.
+Set("CONFIG_BOX_KERNEL_AMD64" => 1);
+#Set("CONFIG_BOX_USER_AMD64" => 1);
+
 # Settings of libucw
 UnSet("CONFIG_SHARED");
 UnSet("CONFIG_UCW_THREADS");
+UnSet("CONFIG_UCW_UTILS");
+UnSet("CONFIG_UCW_UTILS");
 Set("CONFIG_LOCAL");
 Set("CONFIG_DIR", "cf");