digilent embedded linux