1 2 3 4 5 6 7 8
# MCU name MCU = MK20DX256 # Bootloader selection BOOTLOADER = halfkay # Enter lower-power sleep mode when on the ChibiOS idle thread OPT_DEFS += -DCORTEX_ENABLE_WFI_IDLE=TRUE