Attempting to use UAVCAN models with Teensy 4.0 for use with a VTOL aircraft in development. I was able to use the FlexCAN_T4 model to get a CAN network to operate. So far, have not been able to get any of the UAVCAN models to operate, either on a Teensy or an Arduino Uno.