RK3188 kernel builder. Simple bash shell script with basic menu system to select build options (like threads, toolchain, where to output, etc.) and RK3188 device options (like HDMI res, chipsets, lcd setting, etc.). This script is mainly linked to my own rk3188 kernel tree, but aims to be used with any rk3188 kernel tree (with some modications as recommended in the script comments)