1. 79bbde0 arm64 patch: gicv3 support by David Feng · 11 years ago
  2. 85fd5f1 arm64: core support by David Feng · 11 years ago
  3. dbbe196 ARM: add SMP support for non-secure switch by Andre Przywara · 11 years ago
  4. dd5e8da ARM: add assembly routine to switch to non-secure state by Andre Przywara · 11 years ago