> After this operation, the copy is inserted into the receivers CSpace. This > operation > does modify the CDT and does not fail.
To make this more precise: the CDT operation will not fail. The CSpace insertion itself may fail if the receiver did not provide sufficient free slots. Cheers, Gerwin ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
