docs: public static Pin[] allPins(SystemInfo.BoardType board) {
          List<Pin> pins = new ArrayList<>();
  
          // pins for all Raspberry Pi models
          pins.add(RaspiPin.GPIO_00);
          pins.add(RaspiPin.GPIO_01);
          pins.add(RaspiPin.GPIO_02);
          pins.add(RaspiPin.GPIO_03);
          pins.add(RaspiPin.GPIO_04);
          pins.add(RaspiPin.GPIO_05);
          pins.add(RaspiPin.GPIO_06);
          pins.add(RaspiPin.GPIO_07);
          pins.add(RaspiPin.GPIO_08);
          pins.add(RaspiPin.GPIO_09);
          pins.add(RaspiPin.GPIO_10);
          pins.add(RaspiPin.GPIO_11);
          pins.add(RaspiPin.GPIO_12);
          pins.add(RaspiPin.GPIO_13);
          pins.add(RaspiPin.GPIO_14);
          pins.add(RaspiPin.GPIO_15);
          pins.add(RaspiPin.GPIO_16);
  
          // no further pins to add for Model B Rev 1 boards
          if(board == SystemInfo.BoardType.RaspberryPi_B_Rev1){
              // return pins collection
              return pins.toArray(new Pin[0]);
          }
  
          // add pins exclusive to Model A and Model B (Rev2)
          if(board == SystemInfo.BoardType.RaspberryPi_A ||
             board == SystemInfo.BoardType.RaspberryPi_B_Rev2){
              pins.add(RaspiPin.GPIO_17);
              pins.add(RaspiPin.GPIO_18);
              pins.add(RaspiPin.GPIO_19);
              pins.add(RaspiPin.GPIO_20);
          }
  
          // add pins exclusive to Models A+, B+, 2B, 3B, and Zero
          else{
              pins.add(RaspiPin.GPIO_21);
              pins.add(RaspiPin.GPIO_22);
              pins.add(RaspiPin.GPIO_23);
              pins.add(RaspiPin.GPIO_24);
              pins.add(RaspiPin.GPIO_25);
              pins.add(RaspiPin.GPIO_26);
              pins.add(RaspiPin.GPIO_27);
              pins.add(RaspiPin.GPIO_28);
              pins.add(RaspiPin.GPIO_29);
              pins.add(RaspiPin.GPIO_30);
              pins.add(RaspiPin.GPIO_31);
          }
  
          // return pins collection
          return pins.toArray(new Pin[0]);
      }