1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/pkg/devices/idl/pwm.idl Fri Jan 01 00:49:07 2021 +0100
1.3 @@ -0,0 +1,14 @@
1.4 +#include <l4/devices/protocols.h>
1.5 +#include <stdint.h>
1.6 +
1.7 +/* A PWM interface. PWM devices may also support the Activation interface. */
1.8 +
1.9 +[protocol(LANDFALL_PWM)]
1.10 +interface PWM
1.11 +{
1.12 + void set_control(in uint8_t control);
1.13 +
1.14 + void set_duty(in uint16_t duty);
1.15 +
1.16 + void set_period(in uint16_t period);
1.17 +};