j
k
j a
j l
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
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites