MCP2515 overlay help needed

I want to add CAN bus to Rock Pi 4, but I’m not familiar with device tree.
MCP2515 is a SPI to CAN module with open document.

Which HAT are you using? Maybe we can add a device tree overlay for that.

Tmall
eBay
These HATs are using same MCP2515 with little difference.