The following documents apply universally to each silicon vendor:
Arm Architecture Reference Manual for the specific architecture version (e.g., ARMv7-M)
Arm Technical Reference Manual for the specific processor (e.g., Cortex-M4)
The Arm Architecture Reference Manual outlines all possible capabilities for the ARMv7-M generation, but the Cortex-M4 TRM dictates the physical implementation rules, distinguishing between mandatory requirements and configurable options. Because optional features (such as the FPU or MPU) are implemented at the vendor's discretion, you can strictly rely only on the core mandatory features guaranteed by the TRM if you want to ensure absolute software portability across all Cortex-M4 vendors. The vendor's reference manual (or datasheet) is supposed to specify which of these options are actually implemented.
While the HAL provides a uniform software interface, it cannot instantiate absent hardware; you still cannot access optional features like the MPU if the vendor chose to omit them.