-
Josh Kunz authored
* Moves where cnode->cptr is defined closer to where a cnode is first created. This way, cnodes not created through `cap_insert` still get cptrs. * When granting, we definitely don't want copy the src cspace to the dst cspace. Kind-of defeats the purpose
3e09a664