message: Added a check for a macro to specify that an ARM device is not a mobile platform - copying the existing mechanism for Raspberry Pi.
diff: @@ -43,10 +43,11 @@ limitations under the License.
  #elif defined(__arm__)
  #define PLATFORM_POSIX
  -// Require an outside macro to tell us if we're building for Raspberry Pi.
  -#if !defined(RASPBERRY_PI)
  +// Require an outside macro to tell us if we're building for Raspberry Pi or
  +// another ARM device that's not a mobile platform.
  +#if !defined(RASPBERRY_PI) && !defined(ARM_NON_MOBILE)
  #define IS_MOBILE_PLATFORM
  -#endif // !defined(RASPBERRY_PI)
  +#endif // !defined(RASPBERRY_PI) && !defined(ARM_NON_MOBILE)
  #else
  // If no platform specified, use:
  