How to read directly from Serial1? (baby steps into CASIC)

Both, the github search and the search in Espruino-master.zip returns no results for AT6558.

For "casic" or "uranus" it finds only one result:
'GPS' : {

        'device' : 'Casic URANUS',
        'pin_en' : 'D29', # IO expander P0
        'pin_rx' : 'D30', 
        'pin_tx' : 'D31'

May be
BANGLEJS_F18 is Bangle.js
BANGLEJS_Q3 is Bangle.js 2
DTNO1_F5 is ?