Allow the arm64 config file to define SOCDEV_PA and SOCDEV_VA that may be
used in locore.S to map an extra range when enabling the MMU.
Description
Description
Details
Details
- Provenance
andrew Authored on - Parents
- rS282153: Only enable the hpet driver on x86 hardware, it doesn't exist on arm64.
- Branches
- Unknown
- Tags