装S2E遇到问题

1. https://s2e.epfl.ch/embedded/s2e/BuildingS2E.html 这里说

The following steps describe the installation process in detail. We assume the installation is performed on an Ubuntu 12.04 64-bit host system (S2E also works on 64-bit Mac systems).

Build instructions for Windows x64 can be found here.

是只能安装在64位机子上吗？

WARNING: Windows support is currently experimental and may not work/compile on all setups. Only basic symbolic execution is currently supported. Most of the plugins will not work because of exception support issues.We recommend to run S2E in a Linux virtual machine (e.g., VMware).This is almost as fast as running S2E natively, provided that you give a sufficient amount of memory to the virtual machine (at least 4GB). We welcome contributions for full Windows support!

我在32位操作系统上在build一步总是编译出错。后来在我32位的笔记本上安装了64位的UNUNTU就编译成功了，顺利创建了S2E环境。