kbuild uses Makefile and Kconfig files to build the kernel source. Kconfig files define configuration symbols and attributes, and Makefile files match configuration symbols to source files.

The kbuild system's options and targets can be seen by running the following:

$ make ARCH=arm help