This BSP supports the TI DRA52x Evaluation Module (EVM).
This board is very similar to the AM3517, therefore should be compatible with that bsp which you can find here.