Sipeed M1S Dock Hello world how to

 Sipeed is selling a M1s Dock at several places pricing is around $13USD.  The main processor, has uses the BL808 which has 3 processors:

1. RISC-V 64 bit RV64IMAFCV (D0)
• Uses serial pins
   
2. RISC-V 32 bit RV32IMAFCP (M0)
• /dev/ttyUSB1
  
3. RISC-V 32 bit  RV32EMC (LP)
• (Have not tested)