Portenta Carrier Boards documentation issues with current Portenta H7 Zephyr implementation.

[KurtE]

Sorry in advance, not sure which github project to report this in.

The current pin out documentation for several of the Carrier boards, such as the Mid Carrier,
and Hat Carrier has documents to help the user to know how to communicate with the different pins or functions
that are exposed on the carrier board. Currently for the H7 it shows this information using Pin Names.
Currently there is no support in the released Zephyr Portenta H7 boards, that has any support for using Pin Names.
In addition to this, currently only the pins that are on the exterior of the Portenta H7 are defined within the Zephyr pin tables. So currently many of the pins that are accessible with MBED or not available to be used within Zephyr.

Example Document: https://docs.arduino.cc/static/8ef771ee25fbb0fd245598df70429cbf/ASX00055-software-pinout-mapping.pdf

First page shows:

Note: I have a current PR to this project to add in all of the pins that were accessible by MBED;
#559

I have my own Excel document that I created by extracting the tables from the above document, added in
a pin number column, then created another page that mapped pin name to number, which the first two pages
look like:

Note: - the numbers in Green are the pin numbers added by the Pull Request mentioned and are currently
not accessible.

This file is up at: https://github.com/KurtE/Arduino_GIGA-stuff/blob/main/Documents/Mid_Carrier_pin_usage_tables.xlsx

Side notes: I had earlier Pull Requests to add Pin Name support as well, which are closed out. I currently have my own library that supports this, up at:
https://github.com/KurtE/Arduino_zephyr_toolbox
One of the example sketches prints out the mapping from pin number to name and name to number...
Here is an output which includes my PR:

*** GPIO PORT/Pin To Arduino Pin numbers mapping ***

GPIOX: 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15
====== == == == == == == == == == == == == == == == ==
GPIOA: 27 -- -- -- 21 -- 22 --  6 14 13 28 29 30 31 --
GPIOB: -- -- 32 33 34 -- 35 36 37 38 -- -- -- -- 39 40
GPIOC: -- -- 10  8 -- --  5  4 -- -- -- -- -- 41 -- 42
GPIOD: -- -- -- 43 44 45 46 47 -- -- -- -- -- -- -- --
GPIOE: -- -- 48 49 -- -- -- -- -- -- -- -- -- -- -- --
GPIOF: -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
GPIOG: -- -- -- 50 -- -- --  3 -- 51 52 -- -- -- 53 --
GPIOH: -- -- -- -- -- -- 54 12 11 55 56 57 58 59 60  0
GPIOI:  7  9 61 62 63 64 65 66 67 68 69 -- 26 70 71 72
GPIOJ: -- -- -- -- -- -- 73 74 75 76 77  2 -- -- -- --
GPIOK: --  1 -- -- -- 23 24 25

*** Arduino Pin To Pin Name mapping table ***

Pin   0     1     2     3     4     5     6     7     8     9
=== ===== ===== ===== ===== ===== ===== ===== ===== ===== =====
  0 PH_15 PK_1  PJ_11 PG_7  PC_7  PC_6  PA_8  PI_0  PC_3  PI_1 
 10 PC_2  PH_8  PH_7  PA_10 PA_9  ----- ----- ----- ----- -----
 20 ----- PA_4  PA_6  PK_5  PK_6  PK_7  PI_12 PA_0  PA_11 PA_12
 30 PA_13 PA_14 PB_2  PB_3  PB_4  PB_6  PB_7  PB_8  PB_9  PB_14
 40 PB_15 PC_13 PC_15 PD_3  PD_4  PD_5  PD_6  PD_7  PE_2  PE_3 
 50 PG_3  PG_9  PG_10 PG_14 PH_6  PH_9  PH_10 PH_11 PH_12 PH_13
 60 PH_14 PI_2  PI_3  PI_4  PI_5  PI_6  PI_7  PI_8  PI_9  PI_10
 70 PI_13 PI_14 PI_15 PJ_6  PJ_7  PJ_8  PJ_9  PJ_10

LED_BUILTIN(24): PK_6
LED device: 0x80A2724 pin: 6

Or without it out (Current released board)

*** GPIO PORT/Pin To Arduino Pin numbers mapping ***

GPIOX: 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15
====== == == == == == == == == == == == == == == == ==
GPIOA: -- -- -- -- 21 -- 22 --  6 14 13 -- -- -- -- --
GPIOB: -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
GPIOC: -- -- 10  8 -- --  5  4 -- -- -- -- -- -- -- --
GPIOD: -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
GPIOE: -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
GPIOF: -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
GPIOG: -- -- -- -- -- -- --  3 -- -- -- -- -- -- -- --
GPIOH: -- -- -- -- -- -- -- 12 11 -- -- -- -- -- --  0
GPIOI:  7  9 -- -- -- -- -- -- -- -- -- -- 26 -- -- --
GPIOJ: -- -- -- -- -- -- -- -- -- -- --  2 -- -- -- --
GPIOK: --  1 -- -- -- 23 24 25

*** Arduino Pin To Pin Name ma=== ===== ===== ===== ===== ===== ===== ===== ===== ===== =====
  0 PH_15 PK_1  PJ_11 PG_7  PC_7  PC_6  PA_8  PI_0  PC_3  PI_1 
 10 PC_2  PH_8  PH_7  PA_10 PA_9  ----- ----- ----- ----- -----
 20 ----- PA_4  PA_6  PK_5  PK_6  PK_7  PI_12

LED_BUILTIN(24): PK_6
LED device: 0x80A23FC pin: 6

Edit: I see that this last output shows some of the USB output issues I have seen with this latest release
#570
At least this time it did not hang the USB...