Is the source code for this available somewhere? I need to boot from external flash on a custom board, and I was hoping to get a look at this code for a starting point. I could not find it on github so either I need to look harder or it is not released for some reason.