I read all about how to boot that board. I'm working on booting via USB. I think the best way to proceed is to link to the official board documentation (a hefty PDF) with page/paragraph references.