I’m preparing to start a new project using a (to me) new mcu (pic32). I will probably need some new debug gear. I noticed the availability of a RTOSviewer for MPLABx. After googling a while, I could not find which debug tools I can use this viewer with. Microchip has the PicKit3, ICD3 and RealICE. Which of these allow the use of the rtosviewer?