There is for Windows and ARM32 - we're looking at Linux x86 (32bit) but not 100% sure we'll be able to deliver that.