# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1609458547 -3600
# Node ID df0bac1946f4f5333513b3b3d91c3185d86701fe
# Parent  e9f3994b0cb34667ec654b6420aa55a36c6694ea# Parent  a89da526b185216a739329cfe4eaadebcb82a9ce
Merged concurrent changes.

diff -r e9f3994b0cb3 -r df0bac1946f4 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:49:07 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);
+};