ARM64 Port

[cl91]

Current status: boots to NTOS Executive task. No timer driver yet, so system not functional. No vga driver, so no framebuffer output.

Tasks to be done:

• [x] Program Entrance (ntdll!LdrInitializeThunk)
• [x] ARM64 SEH (Structured Exception Handling). See below.
• [x] WDM coroutine (wdm.dll)
• [ ] Timer interrupt and RTC driver in NT Executive
• [x] Copy elfloader from seL4
• [ ] Device tree parsing and enumeration (devtree.sys)

ARM64 Structured Exception Handling (ntdll.dll):

• [x] RtlUnwind, RtlUnwindEx, __C_specific_handler. These are shared with amd64 now.
• [x] RtlVirtualUnwind. This is taken from WINE.
• [x] RtlCaptureContext. Taken from WINE.
• [x] KiContinue.