Is there a library of peripheral drivers for "standard" ports such as Serial, USB, Ethernet, SD card, etc.? For example, I am designing a board with STM32H743 and using a LAN8742A Ethernet Transceiver (RMII interface). Is there firmware code I can do...