# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1609458481 -3600
# Node ID a89da526b185216a739329cfe4eaadebcb82a9ce
# Parent  50b5bc23fbc5be53e775f23c6e7fcbaa60e980a5
Added missing PWM interface file.

diff -r 50b5bc23fbc5 -r a89da526b185 pkg/devices/idl/pwm.idl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pkg/devices/idl/pwm.idl	Fri Jan 01 00:48:01 2021 +0100
@@ -0,0 +1,14 @@
+#include <l4/devices/protocols.h>
+#include <stdint.h>
+
+/* A PWM interface. PWM devices may also support the Activation interface. */
+
+[protocol(LANDFALL_PWM)]
+interface PWM
+{
+  void set_control(in uint8_t control);
+
+  void set_duty(in uint16_t duty);
+
+  void set_period(in uint16_t period);
+};