Configuring GCC HAL / Virtual Device

I’ve compiled the HAL Branch for GCC successfully (under Linux), and created an apparently valid vdev.conf file with associated keys.

With no other configuration, the executable attempts to connect to a server at - which, correctly fails. I believe the program wants the hostname meshed into the end of the server key file, but I’m unsure how to do this. Has anyone else had success?

In the mean time, I modified ota_flash_hal.cpp to force a correct IP address to a spark-server instance with the virtual device registered. The process connects, but immediately segfaults before the handshake can occur. I’m not sure if it is crashing because the server is rejecting it, or if it is being rejected because it is crashing.

Has anyone, recently, gotten this program to connect successfully? If so, what additional steps did you take?