Hello! by default avocado creates virtual machine with a single serial port. It is used for logging purpose. I need a second serial port connected with a file on host to be able to dump coverage data from guest OS. What is a right way to add a second serial port in Avocado? Sergey Bronnikov