some customization for devkit