I'm not sure if my previous reply got added correctly as the site does not shows properly (there is a problem in the format of the site, i have share it with other partners and they see it with the same bad format...).
So, I tried using the pinout of the dongle in board.h and noted the LED configuration so I drive pin4 low and 10 high and vice versa to toggle the LEDs, but this does not works either, so I am using now k32w projects which is the right MCU, and use the board.h definitions for GPIOs but still I cannot make ti work, is there anything else I can try? Can you tell what is the most straight forward example that I can compile using MCUXpress for this board? (note, I cannot select the usb board for any project for k32w, so I have to select the DK) I also have been looking for the ControlBridge mentioned in section 6 but I cannot find it neither.
Again, thanks for the help!