[vm] designdoc b7