How to switch virtual machines linux in vm_multi from camkes-vm-example?
31 Mar
2022
31 Mar
'22
7:24 a.m.
Hi, I have already run the camkes-vm-example vm_multi on my board, but i don't know how to switch linux vm shell from another linux vm, Can anyone help me solve this? Best, Comet
31 Mar
31 Mar
8:12 a.m.
"yjy" == yjy <yjy7894@126.com> writes:
yjy> Hi, I have already run the camkes-vm-example vm_multi on my yjy> board, but i don't know how to switch linux vm shell from another yjy> linux vm, Can anyone help me solve this? If you're talking about controlling the serial console to talk to different VMs, the instructions are https://github.com/seL4/camkes-vm in the README.md under 'Serial' In brief, output from different VMs is colour coded. Switch between them for input with @0, @1, @2 etc. Peter C
1093
Age (days ago)
1093
Last active (days ago)
1 comments
2 participants
participants (2)
-
peter＠chubb.wattle.id.au -
yjy