tree 4710043445da12f04bf69004e82de9ac7648cd4c
parent 9f5ffe9703dd24833e2a7c9461d92e75e8f63844
author Pirmin Vogel <vogelpi@lowrisc.org> 1595514370 +0200
committer Pirmin Vogel <vogelpi@lowrisc.org> 1595607820 +0200

[usbdpi] Keep output of monitor_usb() in usb0.log file

Previsouly, the output of monitor_usb() went to a FIFO pipe and
consequently was lost after closing the USB DPI module. This commit
makes sure the output is kept just like other logs, as this is
useful for debugging (e.g. in CI).

Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>