Vcores are unmapped by message receivers
[akaros.git] / OVERVIEW