@Vercellotti The pyb module exists for PyBoard in the micropython.org family of ports, not for the Pycom family of boards. Since the Pycom software is derived from these, it is mentioned still at some places in the docs. The module machine is to be used instead.