Add ISB to Memory_Barriers for sake of completeness#463

Closed

pat-rogers wants to merge 19 commits intoAdaCore:masterfrom

pat-rogers:memory_barriers

Commits on Mar 22, 2026

adding/revising WM8994 driver and Audio wrapper driver for it

Pat Rogers
authored and
pat-rogers
committed
use new IO package for WM8994, with constants for register addresses

Pat Rogers
authored and
pat-rogers
committed
better name for procedure Play

Pat Rogers
authored and
pat-rogers
committed

Commits on Mar 24, 2026

Move to signed 16-bit PCM samples, rather than unsigned

Pat Rogers
authored and
pat-rogers
committed
Add important comments re: mystery code and update copyright year

Pat Rogers
authored and
pat-rogers
committed
Make the output device type use a static predicate to limit the options

Pat Rogers
authored and
pat-rogers
committed
Add support for dual channel conversion
pat-rogers
committed
replace curly quotes with straight quotes in comments for sake of compiler
pat-rogers
committed
Correct ethernet registers' decls due to incorrect SVD file.
pat-rogers
committed
Change type names to match WM8994 datasheet.
pat-rogers
committed
Fix cache line alignment in Cache_Maintenance
pat-rogers
committed

Commits on Apr 6, 2026

Add ISB for completeness
pat-rogers
committed