It seems quite interesting... I have been used k3s for several months on ARM boards and I am quite happy with it. How much differs from k3s?