You mentioned that the software is available for the XMC microcontrollers for AWS.
Where can I find the software for the AWS Cloud and is there a manual available?
You can find all information about the XMC microcontroller kits and integration in the specific Infineon vendor folder here.
We have not only qualified XMC evaluation boards like the XMC4800 IoT Connectivity Kit, but also secure elements like the OPTIGA™ Trust M.
A manual can also be found on the AWS landing page here with a Getting started guide for the XMC4800 IoT Connectivity Kit: