they do use linux LynxOS-178