On Sun, 2005-10-30 at 22:48, Chris Gilbert wrote: > I think it might be needed by ARMFPE, but then we don't really use ARMFPE any more. (Is it worth keeping the ARMFPE stuff in tree?) I think it's needed for Linux emulation. Whether anyone has built and tested it recently is another matter. R.