i was TI edgeai starter kit user, with SK-board, I can use TI RTOS to build R5 firmware to, for example, control display, add image sensor (RTOS framework), I wonder, how build flags were set to build such firmware for BBAI64, is it the same as the SK-edge board? where can I find those settings?