It does seem odd. Then again, don't underestimate the amount of people developing for embedded devices on windows - which is often done with a gcc toolchain supplied by the chip or rtos vendor.