Indeed, the microcontroller pictured in the article seems to be a fairly unremarkable DSP from TI: https://www.ti.com/product/TMS320F28335 https://www.ti.com/pr

Indeed, the microcontroller pictured in the article seems to be a fairly unremarkable DSP from TI: https://www.ti.com/product/TMS320F28335 https://www.ti.com/product/TMS320F28335. I can buy them from over a dozen online stores in the uk for around £20 a piece.