Update drivers/examples to use updated PWM driver

The upstream PWM driver was updated to better compartmentalise and
isolate individual PWM capabilities. This PR updates the
demo/example/drivers living in `sonata-software` to make use of the
updated PWM driver interface.

Author: AlexJones0

examples/automotive/cheri/receive.cc

@@ -17,6 +17,7 @@
 using Debug = ConditionalDebug<true, "Automotive-Receive">;
 using namespace CHERI;
 using namespace sonata::lcd;
+using SonataPwm = SonataPulseWidthModulation::General;
 
 #define PWM_MAX_DUTY_CYCLE 255 // Max is 100%.
 
@@ -183,7 +184,7 @@ void pwm_signal_car(CarInfo *carInfo)
 	const uint32_t PwmDutyCycle =
 	  (SpeedOffset * DutyRange) / SpeedRange + PWM_MIN_DUTY_CYCLE;
 	auto pwm = MMIO_CAPABILITY(SonataPwm, pwm);
-	pwm->output_set(0, PWM_MAX_DUTY_CYCLE, PwmDutyCycle);
+	pwm->get<0>()->output_set(PWM_MAX_DUTY_CYCLE, PwmDutyCycle);
 }
 
 /**

libraries/lcd.cc

@@ -8,6 +8,7 @@ template<typename T>
 using Cap = CHERI::Capability<T>;
 
 using namespace sonata::lcd;
+using SonataLcdBl = SonataPulseWidthModulation::LcdBacklight;
 
 /**
  * Helper. Returns a pointer to the SPI device.
@@ -20,9 +21,9 @@ using namespace sonata::lcd;
 /**
  * Helper. Returns a pointer to the LCD's backlight PWM device.
  */
-[[nodiscard, gnu::always_inline]] static Cap<volatile SonataLcdPwm> pwm_bl()
+[[nodiscard, gnu::always_inline]] static Cap<volatile SonataLcdBl> pwm_bl()
 {
-	return MMIO_CAPABILITY(SonataLcdPwm, pwm_lcd);
+	return MMIO_CAPABILITY(SonataLcdBl, pwm_lcd);
 }
 
 static constexpr uint8_t LcdCsPin  = 0;
@@ -45,7 +46,7 @@ namespace sonata::lcd::internal
 	{
 		// Set the initial state of the LCD control pins.
 		set_chip_select(LcdDcPin, false);
-		pwm_bl()->output_set(/*index =*/0, /*period=*/1, /*duty_cycle=*/255);
+		pwm_bl()->output_set(/*period=*/1, /*duty_cycle=*/255);
 		set_chip_select(LcdCsPin, false);
 
 		// Initialise SPI driver.
@@ -83,7 +84,7 @@ namespace sonata::lcd::internal
 		// Hold LCD in reset.
 		set_chip_select(LcdRstPin, false);
 		// Turn off backlight.
-		pwm_bl()->output_set(/*index =*/0, /*period=*/0, /*duty_cycle=*/0);
+		pwm_bl()->output_set(/*period=*/0, /*duty_cycle=*/0);
 	}
 } // namespace sonata::lcd::internal