I'm sure it appears to work. That doesn't make it correct. In any case, in my capacity as the VxWorks configury maintainer, I don't want this code in the FSF tree until it's rewritten. Are you going to back out the patch? I want to give Olivier some time to comment before we do anything.