Re: How to switch virtual machines linux in vm_multi from camkes-vm-example?
"yjy" == yjy <yjy7894@126.com> writes:
yjy> `screen /dev/ttyUSB0 115200`. I have a shell terminal that can yjy> see the output from VM0. I input @1 to shell, which is useless. It only works at the start of a line. Peter C yjy> At 2022-03-31 14:12:16, peter@chubb.wattle.id.au wrote:
> "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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
yjy> [2 <text/html; GBK (base64)>] -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
participants (1)
-
Peter Chubb