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