Hi David, Are you sure this builds the ehci.prg ? I can't see the independent crtinit.c in SRCFILES or the file itself to build it as a PRG. Alan. On 07/11/14 09:55, David Gálvez wrote: > Commit message: > > Make EHCI driver to be build for different archs. > Contributed by David Galvez.