Hi, this might be a trivial question but I'm struggling to find the solution. I want to configure the asset tracker application so that it works with real GPS data on the nrf9160 DK 0.8.5 board. As far as I understand it can be done using the kconfig tool. The tool allows to choose "User provided GPS device", however it also requires the device name and I wasn't able to find it anywhere. I tried 'NRF9160_GPS' as it was mentioned somewhere here in the forum, but it doesn't work, or it is not enough - it returns "Could not get NRF9160_GPS device", meaning the device_get_binding() function returned NULL. I would appreciate any tips how to get it working. Thanks.