added notes on further tiva integration into nuttx