1.1 --- a/libsystypes/idl/process_creator_context.idl Sun Jun 02 23:15:39 2024 +0200
1.2 +++ b/libsystypes/idl/process_creator_context.idl Tue Jun 04 18:12:02 2024 +0200
1.3 @@ -6,9 +6,10 @@
1.4 /* Start a process, using the given argument count to refer to the process
1.5 arguments supplied via the dataspace, including the program itself.
1.6
1.7 - A reader pipe capability and a writer pipe capability are to be provided
1.8 - for the process's input and output respectively, and the process capability
1.9 - is returned. */
1.10 + A reader pipe capability, a writer pipe capability and an error (writer)
1.11 + pipe capability are to be provided for the process's input, output and
1.12 + error streams respectively, and the process capability is returned. */
1.13
1.14 - [opcode(30)] void start(in int argc, in cap reader, in cap writer, out cap process);
1.15 + [opcode(30)] void start(in int argc, in cap reader, in cap writer,
1.16 + in cap error, out cap process);
1.17 };