Is there a possibility to debug and flash the DK while the PPK is connected via the headers? Right now I am taking the PPK off to flash; debuging is not possible.
If not, what is the recommended setup? Using one DK to debug and connect the PPK via External DUT to the DKs external supply? Use a second DK to connect to the PPK?