Build an RTOS on ChipWhisperer

Hi all,

Does anyone try to build any RTOS (ex: Mbed OS or Zephyr OS) on ChipWhisperer before? It will be nice if anyone can share the experience with me. :slight_smile:

Cheers.