dslab-epfl/s2e — pull request #61 by lucab (2013-12-06 12:56:36+00:00)
Title: Bug fixes for ARM

This PR includes several bugfixes related to the ARM port. With those applied, arm-s2e-softmmu is now capable of running a full stock [Debian armel machine](http://people.debian.org/~aurel32/qemu/armel/).