I just wanted to verify that I *do not* need to set the pinmux for the BOOT[0:7] pins in AISGen to boot from SPI flash...? From what I can decipher from the docs, the bootloader latches BOOT[0:7] on the rising edge of Reset regardless of the state of PINMUX17&18....?
Thx,
MikeH
