15 months ago | Paul Boddie | file changeset files shortlog | Changed IPC message handling to interpret gate labels as generic endpoint addresses, with endpoint structures representing components and notification IRQs. | ipc-config-endpoints |
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@491 | 7 | arguments supplied via the dataspace, including the program itself. */ |
paul@483 | 8 | |
paul@491 | 9 | [opcode(30)] void start(in int argc, out cap process); |
paul@483 | 10 | }; |