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