Or peripheral driver code which runs on the Microchip device (and may interact with libc, but not necessarily, and not that it matters from a licensing perspect

Or peripheral driver code which runs on the Microchip device (and may interact with libc, but not necessarily, and not that it matters from a licensing perspective since there are plenty of non-GPL libc's).