In the near term, yes, though that is primarily a business reason for us. Supporting Linux is technically possible (old projects such as uCLinux were built around running on MMU-less systems like ours; Mainline Linux 4.2 started to have limited support for a couple of MMU-less systems), though our target areas (HPC and DSP-like tasks) don't necessarily need anything more than a microkernel/RTOS. A full OS like Linux kind of gets in the way if you get the basic stuff like memory allocation, garbage collection, and job scheduling handled separately (by our software tools). Since we are a small startup and focusing on a small area, we want to take off a part of the problem we can easily chew, rather than trying to immediately jump at Linux, so we chose our target applications/market accordingly.