Commit Graph

2 Commits (776ccce8d6dd3917d47f58ff912cee91b9e7ee72)

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