Commit Graph

2 Commits (0ac17eaea8aba3bfde4e4a9db765f72af24fa390)

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