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 A writer pipe capability is to be provided for the process's output, and 10 the process capability is returned. */ 11 12 [opcode(30)] void start(in int argc, in cap writer, out cap process); 13 };