[quake]

TI maintains a SDK for their Sitara chips/boards, and it has mainline kernel support. There is also the Yocto Project, which TI included a BSP layer for.