I'd hope to just use the Pandaboard user-space libs (as the SGX hardware is the same and the kernel driver should abstract away any SOC differences, I'd hope!)