15 months ago | Paul Boddie | raw annotate files changeset graph | Made the notify operation one-way, meaning that it does not produce a reply. |
1 /* An interface providing a way of creating processes, relying on a dataspace to 2 transfer arguments to initialise each new process. */ 3 4 interface ProcessCreatorContext 5 { 6 /* Start a process, using the given argument count to refer to the process 7 arguments supplied via the dataspace, including the program itself. */ 8 9 [opcode(30)] void start(in int argc, out cap process); 10 };