>>>>> "Michael" == Michael Neises <neisesmich...@gmail.com> 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. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
