Can I launch two rumprun instances at the same time?
6 Jan
2023
6 Jan
'23
12:11 p.m.
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:
<
702
Age (days ago)
702
Last active (days ago)
0 comments
1 participants
participants (1)
-
mincheol@vt.edu