15 months ago | Paul Boddie | raw annotate files changeset graph | Changed IPC message handling to interpret gate labels as generic endpoint addresses, with endpoint structures representing components and notification IRQs. | ipc-config-endpoints |
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 [opcode(30)] void start(in int argc, out cap process); 10 };