Hi,
I think VirtualPC will boot a LiveCD, it certainly boots from CD for installing an OS (Windows...) so I think that is definitely my top option. I presume the compiler is gcc based, so I might have a look at setting up an environment for cross compiling in OSX as well.
Thanks very much for having a look at the xsl stuff for me - it is much appreciated!
Allan