I am using buildroot to create a custom os for my raspberry pi. I would like to use the vcgencmd command, but I am unable to find the package that includes these tools. I have tried searching the internet and found that it could be part of VideoCore (which I also cannot find), raspberrypi-firmware (also not present).
So my question is: how to I include the vcgencmd tools in a custom build? What is the package name?