Commit Graph

2 Commits (f99a1c49b9cb7b78daa51ebd8a4c49b428f113db)

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