Re: GCC-only software

[Paolo Bonzini]

> Well, the problem is that I don't know where to find the "unofficial"
> documentation, so it is hard to figure out the questions to be asked.

Well, the unofficial documentation is the source code. :->

Paolo