Public Repository

Last pushed: 2 years ago
Short Description
Ubuntu 14.04 prepared to build and run dslab-epfl/s2e
Full Description

This is Ubuntu 14.04 (Trusty Tahr) containing all necessary runtime and build dependencies for S²E.

  • The base tag is an image with just the necessary packages installed.
  • The s2e tag is an image that builds on top of base and 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 stdio working, 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