Commit Graph

2 Commits (aeacaa8191f659d68c73ec2eecff7593be00d33d)

Author SHA1 Message Date
Martin Kojtal 6e64fe3800 test: fix SPDX identifier 2020-02-21 07:00:59 +00:00
Russ Butler 7283f9b0ee Add a formal HAL specification for the MPU API
Add a formal HAL specification consisting of:
-defined and undefined behavior
-test descriptions
-enable doxygen for MPU
2018-11-27 09:29:32 +00:00