I was trying to sync code between the LPC11XX and LPC11CXX and I noticed the following pull request: https://github.com/mbedmicro/mbed/commit/1d1c8c639171f44720183cd28faa2a13da532217 Why are the pins disabled? If a user wants to use the SWD interface I guess he should just not configure those pins.