README.md: fix wrong URL for GitLab CI status badge image
pure/bmc-harness: prove lossless integer float range
posix: add app that uses pulseaudio
clone
- read-only
- https://git.sr.ht/~kdsch/sampler
- read/write
- git@git.sr.ht:~kdsch/sampler
#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.