/************************************************************************ * configs/pirelli_dpl10/include/power.h * * Supposed to be empty * ************************************************************************/