Platform configurations for RIOT-OS