genode/repos/dde_bsd/patches/notify.patch

diff --git a/dev/audio.c b/dev/audio.c
index 1271bc7..6535d10 100644
--- a/dev/audio.c
+++ b/dev/audio.c
@@ -411,6 +411,8 @@ audio_pintr(void *addr)
 		}
 		selwakeup(&sc->play.sel);
 	}
+
+	notify_play();
 }
 
 /*
@@ -486,6 +488,8 @@ audio_rintr(void *addr)
 		}
 		selwakeup(&sc->rec.sel);
 	}
+
+	notify_record();
 }
 
 int
dde_bsd: update audio driver to OpenBSD 5.9 In addition to updating the contrib sources the driver now uses the new Component API and will report the internal mixer state. Reporting of the mixer state is enabled by adding the 'report_mixer' attribute to the drivers configuration and setting its value to 'yes'. The following snippets illustrates the format of the report: !<mixer_state> ! <mixer field="inputs.beep" value="108"/> ! <mixer field="outputs.hp_sense" value="plugged"/> ! <mixer field="outputs.master" value="128,128"/> ! <mixer field="outputs.mic_sense" value="unplugged"/> ! <mixer field="outputs.spkr_muters" value="hp,mic"/> !</mixer_state> The mixer state may expose other mixer fields as well, depending on the used sound card. The naming scheme of the attributes intentionally matches the naming scheme of OpenBSD's mixerctl(1) program. Each 'mixer' node can be used to configure the audio driver by using it in its configuration, e.g.: !<config report_mixer="yes"> ! <mixer field="outputs.master" value="255,255"/> !</config> This configuration will set the output volume to the highest possible value. Although it is now also possible to update the configuration at run-time it should not be done while the driver is currently playing or recording because it may provoke the generation of artefacts. Fixes #1973. 2016-04-24 08:56:31 +00:00			`diff --git a/dev/audio.c b/dev/audio.c`
			`index 1271bc7..6535d10 100644`
dde_bsd: add recording support to audio driver The driver is now able to record audio samples. In contrast to playback it has to be enabled explicitly by setting the configuration attribute 'recording' to 'yes'. Playback is by default enabled but may be disabled by setting 'playback' to 'no'. Furthermore it is now possible to configure the mixer from the configuration. For now, the interface used by vanilla OpenBSD is just exported. The following snippet shows how to enable and configure recording on an Thinkpad X220 where the headset rather than the internal mic is used as recording source: ! <start name="audio_out_drv"> ! <resource name="RAM" quantum="8M"/> ! <provides> ! <service name="Audio_out"/> ! <service name="Audio_in"/> ! </provides> ! <config recording="yes"> ! <mixer field="outputs.master" value="255"/> ! <mixer field="record.adc-0:1_source" value="sel2"/> ! <mixer field="record.adc-0:1" value="255"/> ! </config> ! </start> In addition to selecting the recording source the playback as well as the recording volume are set to 255 (maximum). Information about the available mixers and settings in general may be obtained by setting the 'verbose' to 'yes' in the config node. Issue #1644. 2015-05-15 20:22:46 +00:00			`--- a/dev/audio.c`
			`+++ b/dev/audio.c`
dde_bsd: update audio driver to OpenBSD 5.9 In addition to updating the contrib sources the driver now uses the new Component API and will report the internal mixer state. Reporting of the mixer state is enabled by adding the 'report_mixer' attribute to the drivers configuration and setting its value to 'yes'. The following snippets illustrates the format of the report: !<mixer_state> ! <mixer field="inputs.beep" value="108"/> ! <mixer field="outputs.hp_sense" value="plugged"/> ! <mixer field="outputs.master" value="128,128"/> ! <mixer field="outputs.mic_sense" value="unplugged"/> ! <mixer field="outputs.spkr_muters" value="hp,mic"/> !</mixer_state> The mixer state may expose other mixer fields as well, depending on the used sound card. The naming scheme of the attributes intentionally matches the naming scheme of OpenBSD's mixerctl(1) program. Each 'mixer' node can be used to configure the audio driver by using it in its configuration, e.g.: !<config report_mixer="yes"> ! <mixer field="outputs.master" value="255,255"/> !</config> This configuration will set the output volume to the highest possible value. Although it is now also possible to update the configuration at run-time it should not be done while the driver is currently playing or recording because it may provoke the generation of artefacts. Fixes #1973. 2016-04-24 08:56:31 +00:00			`@@ -411,6 +411,8 @@ audio_pintr(void *addr)`
			`}`
			`selwakeup(&sc->play.sel);`
dde_bsd: add recording support to audio driver The driver is now able to record audio samples. In contrast to playback it has to be enabled explicitly by setting the configuration attribute 'recording' to 'yes'. Playback is by default enabled but may be disabled by setting 'playback' to 'no'. Furthermore it is now possible to configure the mixer from the configuration. For now, the interface used by vanilla OpenBSD is just exported. The following snippet shows how to enable and configure recording on an Thinkpad X220 where the headset rather than the internal mic is used as recording source: ! <start name="audio_out_drv"> ! <resource name="RAM" quantum="8M"/> ! <provides> ! <service name="Audio_out"/> ! <service name="Audio_in"/> ! </provides> ! <config recording="yes"> ! <mixer field="outputs.master" value="255"/> ! <mixer field="record.adc-0:1_source" value="sel2"/> ! <mixer field="record.adc-0:1" value="255"/> ! </config> ! </start> In addition to selecting the recording source the playback as well as the recording volume are set to 255 (maximum). Information about the available mixers and settings in general may be obtained by setting the 'verbose' to 'yes' in the config node. Issue #1644. 2015-05-15 20:22:46 +00:00			`}`
			`+`
			`+ notify_play();`
			`}`

			`/*`
dde_bsd: update audio driver to OpenBSD 5.9 In addition to updating the contrib sources the driver now uses the new Component API and will report the internal mixer state. Reporting of the mixer state is enabled by adding the 'report_mixer' attribute to the drivers configuration and setting its value to 'yes'. The following snippets illustrates the format of the report: !<mixer_state> ! <mixer field="inputs.beep" value="108"/> ! <mixer field="outputs.hp_sense" value="plugged"/> ! <mixer field="outputs.master" value="128,128"/> ! <mixer field="outputs.mic_sense" value="unplugged"/> ! <mixer field="outputs.spkr_muters" value="hp,mic"/> !</mixer_state> The mixer state may expose other mixer fields as well, depending on the used sound card. The naming scheme of the attributes intentionally matches the naming scheme of OpenBSD's mixerctl(1) program. Each 'mixer' node can be used to configure the audio driver by using it in its configuration, e.g.: !<config report_mixer="yes"> ! <mixer field="outputs.master" value="255,255"/> !</config> This configuration will set the output volume to the highest possible value. Although it is now also possible to update the configuration at run-time it should not be done while the driver is currently playing or recording because it may provoke the generation of artefacts. Fixes #1973. 2016-04-24 08:56:31 +00:00			`@@ -486,6 +488,8 @@ audio_rintr(void *addr)`
			`}`
			`selwakeup(&sc->rec.sel);`
dde_bsd: add recording support to audio driver The driver is now able to record audio samples. In contrast to playback it has to be enabled explicitly by setting the configuration attribute 'recording' to 'yes'. Playback is by default enabled but may be disabled by setting 'playback' to 'no'. Furthermore it is now possible to configure the mixer from the configuration. For now, the interface used by vanilla OpenBSD is just exported. The following snippet shows how to enable and configure recording on an Thinkpad X220 where the headset rather than the internal mic is used as recording source: ! <start name="audio_out_drv"> ! <resource name="RAM" quantum="8M"/> ! <provides> ! <service name="Audio_out"/> ! <service name="Audio_in"/> ! </provides> ! <config recording="yes"> ! <mixer field="outputs.master" value="255"/> ! <mixer field="record.adc-0:1_source" value="sel2"/> ! <mixer field="record.adc-0:1" value="255"/> ! </config> ! </start> In addition to selecting the recording source the playback as well as the recording volume are set to 255 (maximum). Information about the available mixers and settings in general may be obtained by setting the 'verbose' to 'yes' in the config node. Issue #1644. 2015-05-15 20:22:46 +00:00			`}`
			`+`
			`+ notify_record();`
			`}`

			`int`