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
This build dependency won't work anymore with the next GNAT release as
runtimes will now require being installed into the compiler.
This commit also now generates automatically the board projects, to ease
the addition of new boards and runtimes, as well as taking into account
modifications refactoring of the library.
