Hi Tristan, One more question, binutils and gcc? Do you use special versions or the default ones provided by your distro? I tried to follow the guidelines in edk2 and build gcc-4.1.0 and binutils according to how they do it, but both complain that the target ia64-tiano-pe does not exist..... any pointers? Thanks, Jes -- To unsubscribe from this list: send the line "unsubscribe kvm-ia64" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html