Properly configure the devkit