I have a kit and when I boot there is no OpenGL ES library. I saw there was a link to the TI BSP which seems to include the OpenGL ES libraries. I followed the steps to flash the board but once completed the board boots but gets many errors on the flash regarding a magic number mismatch for the filesystem. Has anyone re-flashed the board and gotten OpenGL ES to work?

Thanks,
Brian