paul@491 | 1 | /* An interface providing a way of creating processes, relying on a dataspace to |
paul@491 | 2 | transfer arguments to initialise each new process. */ |
paul@491 | 3 | |
paul@491 | 4 | interface ProcessCreatorContext |
paul@483 | 5 | { |
paul@491 | 6 | /* Start a process, using the given argument count to refer to the process |
paul@584 | 7 | arguments supplied via the dataspace, including the program itself. |
paul@483 | 8 | |
paul@584 | 9 | A writer pipe capability is to be provided for the process's output, and |
paul@584 | 10 | the process capability is returned. */ |
paul@584 | 11 | |
paul@584 | 12 | [opcode(30)] void start(in int argc, in cap writer, out cap process); |
paul@483 | 13 | }; |