gerardo> Error: unable to find the I/O auxiliary program on the current search PATH
gerardo> : please install the appropriate host-side tools.
gerardo> Have we got to include in our source files some
gerardo> particular libraries to use I/O auxiliary? Or we're
gerardo> wronging something when we launch the application?
ethernet.tcl etc. are only the ethernet-specific parts of the
synthetic target host-side support. You also need to build and install
the generic I/O support from hal/synth/arch/current/host, and possibly
the watchdog support from devs/watchdog/synth/current/host.