Testing branch in git.

autosar/src/core/arch/arm/arm_v7/drivers/Pwm.c

@@ -235,6 +235,7 @@ static void Pwm_GeneratePulse(Pwm_ChannelType channel,
 	 * (see pp.91-94 in BCM2835-ARM-Peripherals.pdf) */
 	if ((selected_pins & BIT(gpio)) == 0) {
 		bcm2835_GpioFnSel(gpio, GPFN_OUT);
+		//printf("Pwm selecting gpio\n");
 		selected_pins |= BIT(gpio);
 	}
 
@@ -284,6 +285,8 @@ void Pwm_Init(const Pwm_ConfigType *ConfigPtr)
 	  return;
 	}
 
+	// printf("Pwm_Init 1\n");
+
 	/* Initialize the hardware clock */
 	PWM_CTL = 0; // Stop/reset PWM
 	CM_PWMCTL = CM_PWD | CMCTL_SRC_PLLD; // Set the clock source to PLL alternative D (i.e. 500MHz). This is a good choice to avoid jitter