dslab-epfl/s2e — pull request #69 by radubanabic (2014-07-23 13:02:41+00:00)
Title: Tweaks for 14.04 compatibility. Had to disable libfdt in qemu.

It's possible to fix the libfdt issue without disabling it, by removing libfdt_env.h from qemu/ (the file is already in /usr/include/ in Ubuntu 14.04). Newer versions of qemu apparently fixed the issue.