aarch64 port

[dbittman]

The kernel is designed for portability in-mind, but currently only supports x86. We need to get it running on aarch64 as well.

[PandaZ3D]

The kernel port for aarch64 is split across a number of patches. Implementing the core kernel requires quite a few things.

Steps

• [x] UEFI Boot
• [x] Serial Console
• [x] Exceptions
• [x] Memory Management
• [x] Interrupts
• [x] Clocks/hardticks
• [x] Scheduling
• [ ] Secondary CPUs
• [ ] Devices
• [ ] Userspace

Patch Set

• https://github.com/twizzler-operating-system/twizzler/pull/102
• https://github.com/twizzler-operating-system/twizzler/pull/113
• https://github.com/twizzler-operating-system/twizzler/pull/118
• https://github.com/twizzler-operating-system/twizzler/pull/119
• https://github.com/twizzler-operating-system/twizzler/pull/121
• https://github.com/twizzler-operating-system/twizzler/pull/122
• https://github.com/twizzler-operating-system/twizzler/pull/123
• https://github.com/twizzler-operating-system/twizzler/pull/124
• https://github.com/twizzler-operating-system/twizzler/pull/125
• https://github.com/twizzler-operating-system/twizzler/pull/126
• https://github.com/twizzler-operating-system/twizzler/pull/128
• https://github.com/twizzler-operating-system/twizzler/pull/134
• https://github.com/twizzler-operating-system/twizzler/pull/135
• https://github.com/twizzler-operating-system/twizzler/pull/139
• https://github.com/twizzler-operating-system/twizzler/pull/141

• 142

• 148

• 163

• 164

• 168

• 178

[PandaZ3D]

SMP support is tracked in #152