I also want clarify that this platform and any hardware or code developed will be open source. I want to make it clear that I am not in this for myself, but to further the ability for users to easily interface between popular embedded platforms and FPGAs.