1 2 3 4 5 6 7
# Device tree (for linux-xlnx 3.14) CONFIG_PROC_DEVICETREE=y # Debug CONFIG_PRINTK_TIME=y