Do I invest $400 in a dev board which TI can't tell me 100% how to boot? It may be the only way to find out how it works :-(