Programming guide for AArch64 GIC

Understanding the MMU for AArch64

How to write a simple bare metal program in Rust for AArch64