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 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.