Thanks very much for your reply.
//Everything goes well through the steps you describe:
david@david-VirtualBox:~$ cd /opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01/
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ export PATH=/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin/:$PATH
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ echo $PATH
/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin/:/usr/lib/lightdm/lightdm:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ which arm-linux-gnueabihf-gcc
/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin//arm-linux-gnueabihf-gcc
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- mrproper
//This all looks good - no errors yet. It's just the next step when I attempt a configuration that the error persists
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- menuconfig
HOSTCC scripts/basic/fixdep
/bin/sh: 1: gcc: not found
make[1]: *** [scripts/basic/fixdep] Error 127
make: *** [scripts_basic] Error 2
//Which boggles me as which still finds gcc
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ which arm-linux-gnueabihf-gcc
/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin//arm-linux-gnueabihf-gcc
Any thoughts on this? Thanks!
David