I realise that Keil's ARM tools are aimed at the ARM7 cores; but has anyone sucessfully used the tools on an XScale core?