Hi Luka,
Currently in mbed OS we provide support for Fast Models FVPs, which is an Arm architecture simulator on x86 created by Arm. mbed OS documentations .
However, the FastModels is a proprietary software might not suitable for your needs. one of the option is use QEMU. in QEMU there is an arm platform named mps2-an511 which I believe is the identical to FVP_MPS2_M3 of fastmodel.
personally I haven’t try that QEMU platfrom. but I think if you build the images for FVP_MPS2_M3 and run it with QEMU MPS2-AN511, you got fairly good chance it just works.
If you think the QEMU is good for your needs and porting it over, you are more than welcome to upstream to mbed OS as this is an open source project
BTW, we have some initiatives related to cmake, you can find it in here