Vcores are unmapped by message receivers
[akaros.git] / Documentation / best-prectices.txt