I just like to share a heavily reworked tool to generate (bare metal) MMU tables for Aarch64:
https://github.com/42Bastian/arm64-pgtable-tool
It is based on this one:
https://github.com/ashwio/arm64-pgtable-tool
Use at your own risk.
[Edit: Typos]
Answered ;-)