--- Available ports:
---  1: /dev/ttyACM0         'Board in FS mode - Board CDC'
---  2: /dev/ttyAMA0         'ttyAMA0'
---  3: /dev/ttyUSB0         'USB2.0-Serial'
--- Enter port index or full name: 1
--- Miniterm on /dev/ttyACM0  9600,8,N,1 ---
--- Quit: Ctrl+] | Menu: Ctrl+T | Help: Ctrl+T followed by Ctrl+H ---

>>> print('Hello world!')
Hello world!
>>>