How to build MbedOS on Chipwhisperer Lite?

Hi, I am wondering how to use mbed os with Chipwhisperer Lite together?
Are there any document I can check or read? Thank you!

I’d assume the easiest way to get it running would be via https://os.mbed.com/studio/. Provided you get that up and running, so long as you can configure the target to run off of an external clock (preferably without a PLL running at a different frequency from the input clock) and set the trigger pin high, you should be all set.

Unfortunately, I haven’t really worked with MBedOS, so I can’t really give any specific advice.

Alex