[bonzini]

Sharing of read-only pages from the executable is done at the kernel (page cache) level. I agree that for example JIT compiled code is not shared.