We also put a note on the company website [1]. I'm looking forward to working with the Docker folks on this. :)

[1] http://unikernel.com/#notice (not to be confused with the community website at http://unikernel.org :)