As a standard feature of the Linux kernel ... optional devices and GPIO pin settings, especially when made configurable through a simple text file as on the Raspberry Pi SBC platform.