add linux-arm solver