* Switch to GNAT FSF 12 support
* GNAT FSF 12 in GitHub CI
* Update README.md
* Remove run-time dependency build script that is not compatible with GNAT FSF
This script is also not needed as all the BSPs are included in GNAT FSF.
audio.ads:
Add precondition for protected procedure Start to ensure valid addresses.
Minor name improvements.
main.adb
Add Last_Chance_Handler to indicate when exceptions raised, if any.
Minor formatting
demo-*:
use Unchecked_Access in these specific demos
serial_io-blocking.ads:
correct postcondition on procedure Receive so that empty content is handled properly
serial_io-nonblocking.ads:
add postconditions to procedure Receive
* Significantly simplify Serial_IO.Nonblocking and revise associated files
serial_io:
Use better name for hardware init routines
serial_io.nonblocking:
Implement primary type Serial_Port directly as a protected type.
Add discriminant for IRQ priority.
Simplify transmission routine (remove a protected variable).
Remove pre/post for initialization since not worth extra complexity for type impl.
Use better names as replacements for Put/get.
serial_io.blocking:
Update names for procedures Put and Get to be same as those of package Nonblocking.
Update name for hardware init routine to be consistent with other packages.
Remove pre/post for initialization since not worth extra complexity for type impl.
serial_io.streaming:
Update names for procedures Put and Get to be same as in Blocking and Nonblocking.
Update name for hardware init routine to be consistent with other packages.
Remove pre/post for initialization since not worth extra complexity for type impl.
peripherals_nonblocking:
Specify new IRQ priority discriminant.
Remove unnecessary constant.
Improve comments.
peripherals_blocking:
Improve comments.
peripherals_streaming:
Improve comments.
demo mains:
Revise for name changes.
Improve comments.
* remove trailing blanks
* Olimex STM32-H405 board support
* Add STM32-H405 to build_all_examples.py, fix for style checks
* Use stm32f4 runtime for STM32-H405 board
* Add STM32_H405 to board_projects_generator.py
