Platform configuration

Files
file	arch/platform/nrf52840/dk/nrf52840-board-def.h
	Platform features configuration.

Button configurations
#define	PLATFORM_RTC_INSTANCE_ID   0
	nRF52 RTC instance to be used for Contiki clock driver.
#define	PLATFORM_TIMER_INSTANCE_ID   0
	nRF52 timer instance to be used for Contiki rtimer driver.

Detailed Description