Has anybody tried to use DSP2834x_Headers_BIOS.cmd or similar bios.cmd file in a sys/bios project ?
It does not get recognized or I do not know how to use it. I get
Severity and Description Path Resource Location Creation Time Id
unresolved symbol _GpioCtrlRegs