# Read build script documentation https://docs.armbian.com/Developer-Guide_Build-Options/
# for detailed explanation of these options and for additional options not listed here

KERNEL_CONFIGURE="" # leave empty to select each time, set to "yes" or "no" to skip dialog prompt
CLEAN_LEVEL=""      # comma-separated list of clean targets:
:                   # --> "make-atf" = make clean for ATF, if it is built.
:                   # --> "make-uboot" = make clean for uboot, if it is built.
:                   # --> "make-kernel" = make clean for kernel, if it is built. very slow.
:                   # --> "debs" = delete packages in "./output/debs"; debs are re-downloaded (if available) or re-built.
:                   # --> "alldebs" = delete all packages in "./output/debs",
:                   # --> "images" = delete "./output/images",
:                   # --> "cache" = delete "./output/cache",
:                   # --> "sources" = delete "./sources"
:                   # --> "oldcache" = remove old cached rootfs except for the newest 8 files
:                   # --> *important*: "make" by itself has disabled, since Armbian knows how to handle Make timestamping now.

# DEST_LANG="en_US.UTF-8" # Example: "sl_SI.UTF-8" Default: "en_US.UTF-8"

# advanced
INSTALL_HEADERS="" # install kernel headers package
DOWNLOAD_MIRROR="" # set to "china" to use chinese mirrors # @TODO: this needs review and test while running in mainland china
CARD_DEVICE=""     # device name /dev/sdx of your SD card to burn directly to the card when done