divdocu_doc_arduino_krnl_config