Adding a snapshot of work in progress SGX manifest to open an issue on this.
Gumdroid's overo-android-3.4 is currently incompatible with SGX binaries. It kernel panics on boot.