For example,
CFLAGS += -DCONFIG_GPIO_AS_PINRESET
CFLAGS += -DNRF52_PAN_12
CFLAGS += -DBLE_STACK_SUPPORT_REQD
Where are -DCONFIG_GPIO_AS_PINRESET, -DNRF52_PAN_12, and -DBLE_STACK_SUPPORT_REQD documented?
Is there a complete documented list for reference?