[seL4] How to switch virtual machines linux in vm_multi from camkes-vm-example?

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