Hi, Andrew. I'm newbie too, but I don't think you get the introduction 'Getting Started with L4Ka::Pistachio on ia32' by Ihor Kuz.
I followed the introduction and got the result. You'd better try qemu first and then VMWare when you know L4Ka::Pistachio clearly. Good luck.
