On Wed, Nov 08, 2017 at 02:28:10PM +0200, Michael S. Tsirkin wrote:
> Below is an attempt at a formal write-up of the latest proposal
> with some modifications. Will reply with a pdf version
> as well.
> 
> This is reasonably complete functionally, from spec point of
> view we need
> - more conformance statements
> - pseudo-code
> - discussion of memory barriers
> - rearrange existing (1.0) layout discussion to make it fit
>   in a single chapter