[seL4] Re: vm_multi usage

...

...

...

...

"Michael" == Michael Neises writes:

Michael> Hi, I'm just beginning to use multiple VMs at once, and I Michael> have a simple question. When I simulate my image, two VMs are Michael> running, and I get a terminal interface to one of them. Can I Michael> also switch my terminal to interface with the second VM? If you're using the Serial Server component, you should get output from the different VMs intermingled in different colours; typing '@1' at the beginning of a line should switch to VM 1, and '@0' back to VM 0 for input. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 11am-5pm; Fri 8am-3pm.