dslab-epfl/s2e — pull request #15 by mattsaccount364 (2013-01-25 18:54:52+00:00)
Title: This patch adds additional symbolic hardware support.

Features added include: (a) MSI, (b) PCI-E, (c) power management
support. Support consists of new flags in symbolic hardware
definition files and new command line parameters.