Apparently my coyotos build has completed succefully, including the docs. There was some permission issue while building the tool chain in /coyotos with an ordinary user account, so I had to build it with CROSSROOT=/home/val/coyotos-xenv. What can I do now ? Val