0f237f5 README.md: fix wrong URL for GitLab CI status badge image
~kdsch pushed to ~kdsch/sampler git
d341b7e posix: add app that uses pulseaudio
~kdsch pushed to ~kdsch/sampler git
#Sampler
Sampler lets you turn a microcontroller into a music sampler.
#Status
Experimental.
#Build dependencies
| dependency | version | use |
|---|---|---|
| arm-none-eabi-gcc | 12.2 | build MCU code |
| gcc | 12.2 | build tests and tools |
| meson | 1.0.1 | automate builds |
| git | 2.39.2 | download dependencies |
| libsndfile | 1.5 | update embedded audio files |
| openocd | 0.12.0 | flash and debug the MCU |
| STM32F4-DISCOVERY | run the MCU application |
#Optional dependencies
| dependency | version | use |
|---|---|---|
| gdb-multiarch | 13.1 | debug MCU code |
| cbmc | 5.12 | check assertions against a model |
| cppcheck | 2.11 | find bugs the compiler cannot |
| complexity | 1.13 | measure the complexity of code |
#Usage
. envsetup.sh
sampler_setup
sampler_test
sampler_flash
- Load commands into your shell environment by running
. envsetup.sh. - Set up build directories by running
sampler_setup. - Test the code by running
sampler_test. - Flash firmware onto the dev board by running
sampler_flash. - Explore other
sampler_-prefixed functions by using tab completion.
#Probes
| pin | signal |
|---|---|
| PA4 | Audio output from DAC peripheral. Beware: DC-coupled |
| PC1 | Buffer processing window |
#External documentation
Only the obscure stuff.
- CBMC/CPROVER manual
- libopencm3 STM32F4 API documentation
- Meson build system reference manual
- N1570 - C11 specification, final draft
- RM0090 - STM32F4 Reference Manual
#Philosophy
Write testable, portable, simple, readable, correct, efficient code.