if BOARD_ARDUINO_DUE

config BOARD
	default arduino_due

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

endif # BOARD_ARDUINO_DUE