code: def do_boards(self, _):
          
          rows = []
          with DEV_LOCK:
              for dev in DEVS:
                  if dev is DEFAULT_DEV:
                      dirs = [dir[:-1] for dir in dev.root_dirs]
                  else:
                      dirs = []
                  dirs += ['/{}{}'.format(dev.name, dir)[:-1] for dir in dev.root_dirs]
                  dirs = 'Dirs: ' + ' '.join(dirs)
                  epoch = 'Epoch: {}'.format(time.gmtime(dev.time_offset)[0])
                  rows.append((dev.name, '@ %s' % dev.dev_name_short, dev.status(), epoch, dirs))
          if rows:
              column_print('<<<< ', rows, self.print)
          else:
              print('No boards connected')
docs: boards
  
             Lists the boards that rshell is currently connected to.