You may be interested in the fantastic Microcorruption CTF, which uses the real-world MSP 430 microcontroller.

(Also anyone interested in TIS-100 and Shenzhen I/O should at least take a look)

[1] https://microcorruption.com/