diff --git a/.travis.yml b/.travis.yml
index cc6d84887..786c4f22e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -16,6 +16,11 @@ script:
         - mv tmp hermit/usr/
         - mv x86 hermit/usr/
         - make T=1 travis
+        - echo $PROXY_STR > /proc/sys/fs/binfmt_misc/register
 env:
         global:
                 - TOPDIR=`pwd`/../..
+                - PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/HermitCore/hermit/tools/proxy"
+                - HERMIT_ISLE=qemu
+                - HERMIT_CPUS=2
+                - HERMIT_MEM="128M"