- boot loader requirements to boot Kernel
- ARM64 Virtual Memory Layout
- ARM64 IRQ Vectors Setup
- FDT Mapping
- ARM64 Kernel booting process
5.1 Prior to start_kernel
5.1.1__create_page_tables
5.1.2 __cpu_setup
5.1.3 __primary_switch
5.2 Start_kernel
5.2.1 Start_kernel -> setup_arch
5.2.1.1 Start_kernel -> setup_arch -> setup_machine_fdt
5.2.1.2 Start_kernel -> setup_arch -> paging_init / bootmem_init
5.2.1.3 Start_kernel -> setup_arch -> psci_init
5.2.2 Start_kernel -> Rest_init
5.2.2.1 Start_kernel -> Rest_init -> kernel_init