Ubuntu 14.04 prepared to build and run dslab-epfl/s2e
This is Ubuntu 14.04 (Trusty Tahr) containing all necessary runtime and build dependencies for S²E.
basetag is an image with just the necessary packages installed.
s2etag is an image that builds on top of
baseand adds some handy tools, such as tmux and socat in order to run the S²E version of qemu with a monitor available on a Unix socket (if you manage to get the
-monitor stdioworking, I'll pay you a beer, and you tell me how you did it). Furthermore S²E is already compiled and ready to use, and after logging into the container you will find yourself directly inside a folder where your qemu-related files are assumed to be.
Docker Pull Command