XIAO-ESP32-C3 Keyboard issues

Thank you. Where can I find the BSP, and how do I check the current version? I come from older 8 bit Arduinos, so these new microcontrollers are a learning curve for me.

I read the getting started guide Here but didn’t find anything about a BSP. It does mention the firmware though, so is this the same thing? If so, do I find the older versions on the GitHub pages with the current firmware?