avr32: use 4.4.x, serial is broken in 4.9.x
[openadk.git] / package / xenomai / 
tree93e1d62ce198de0c175315b08fa9d4eccce7484d
drwxr-xr-x   ..
-rw-r--r-- 1442 Makefile