Diego Saravia <d...@unsa.edu.ar> writes: > are they using linux-libre kernel and moving normal kernels into non-free? >
No, they did their own work to remove proprietary firmware from the upstream kernel. -- John Sullivan Free Software Foundation Manager of Operations