Re: [PATCH v7] vsock: add vsock device

> I'm working on a write-up that covers the scheme and shows why it is
> correct.  My goal is to prove either that it can deadlock or that it
> cannot deadlock.  Hope to finish it by Friday.

Excellent, thanks!

> By the way, I'll be in Toronto for LinuxCon/KVM Forum.  It would be nice
> to chat if you are there too.

I'm afraid not, stuck in (currently sunny, but who knows for how long)
Cambridge!

Ian.