Bit late to the party, but here's a guide to run MCP2515_CAN module on Pico mini B...

Prerequisites

I assume you've already build the OS at least once, so the build-system is populated.
I assume you're in the sdk directory.
I also assume you know how to navigate through the menuconfig.

Adding ...