2016-01-21 13:10:59 +08:00
|
|
|
|
|
|
|
|
if BOARD_ARDUINO_DUE
|
|
|
|
|
|
|
|
|
|
config BOARD
|
|
|
|
|
default arduino_due
|
|
|
|
|
|
2016-01-30 05:51:57 +08:00
|
|
|
if PINMUX
|
|
|
|
|
|
|
|
|
|
# The pinmux driver does not care
|
|
|
|
|
# base address or pin counts.
|
|
|
|
|
# So define both as 0.
|
|
|
|
|
config PINMUX_BASE
|
|
|
|
|
default 0
|
|
|
|
|
|
|
|
|
|
config PINMUX_NUM_PINS
|
|
|
|
|
default 0
|
|
|
|
|
|
|
|
|
|
endif # PINMUX
|
|
|
|
|
|
2016-01-21 13:10:59 +08:00
|
|
|
endif # BOARD_ARDUINO_DUE
|
