I have seen several people use the "cat /dev/USB<some number>" can get information from the board printed to a Linux terminal via USB cable. I have followed a few guides (http://www.carminenoviello.com/2015/03/02/how-to-use-stm32-nucleo-serial-port/) and it isn't working. The example provided in the linked tutorial compiles perfectly, but my device doesn't show in the /dev folder. What is going wrong? Is there an easier way to print a lot of data to a terminal (semihosting is too slow for what I need)? Does my device have to be transmitting serial comm to get recognized by the /dev folder?