http://www.pragmatec.net/Produits/uClinux.htm