Current target support includes Arduino, AMD64, Raspberry Pi, STMicroelectronics, and Texas Instruments. The generated C code can also be ported to other platforms for compilation and linking, provided you have an ANSI C compiler and the C-Code Support Library Source Code for the platform.