Software Timers for Virtual Device

Firmware
1

We’re doing some memory profiling using Valgrind and the Virtual device, but for some reason the definition of the software timer is #if defined by the DeviceOS.

Is there any reason for this?
I’ve removed the offending switch and it seems to build fine, just want to make sure I’m not setting myself up with a timebomb.

2

e.g. the Spark Core (Gen1) does not feature FreeRTOS nor Software Timers, hence a compile time check makes sense for that platform. Gen2 and Gen3 do run FreeRTOS and hence also support Software Timers.

3

Interesting.
Is there a way to change the platform ID for the virtual device?