An alternative kernel for arm architetures