Can I launch two rumprun instances simultaneously?

[mincheolsung]

Hi,

I am trying to run two rumprun instances on seL4.
I called
launch_process(bin_name, CONFIG_RUMPRUN_COMMAND_LINE, 1);
launch_process(bin_name, CONFIG_RUMPRUN_COMMAND_LINE, 2);
in run_rr() of rumprun-sel4-demoapps/roottask/src/main.c.

Then I got below:
<<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff801fe14400 "roottask"
@4166c1]: CNode Copy/Mint/Move/Mutate: Source slot invalid o>
[email protected]:157 Failed to move cap

<<seL4(CPU 0) [decodeX86PortControlInvocation/147 T0xffffff801fe14400
"roottask" @451efa]: IOPortControl: Some ports in range alread>
[email protected]:25 Failed to get IO port cap for range cf8 to cff

I don't understand why I got these errors.
launch_process() gets rump_process_t *process from process_from_id(id) so I should get a
different slot with the different process id.