Mbed-OS driver for the TCAN4551 CAN controller+transceiver IC from Texas Instruments
COMING SOON: I will offer TCAN455x breakout boards for sale! Whenever the chips become available again...
See my blog post explaining how to use this driver here: https://www.theshackonwheels.com/getting-started-with-the-tcan455x-bob.html