Correct choice is (b) boards.txt
To elaborate: The different types of Arduino Boards which are also commonly referred to as “Variants” are present in the boards.txt file. This is a particularly important file because it contains the different configuration information for different Arduino Boards like which compiler toolchain to execute on a particular variant.