1. 79bbde0 arm64 patch: gicv3 support by David Feng · Fri Mar 14 14:26:27 2014 +0800
  2. 85fd5f1 arm64: core support by David Feng · Sat Dec 14 11:47:35 2013 +0800
  3. dbbe196 ARM: add SMP support for non-secure switch by Andre Przywara · Thu Sep 19 18:06:44 2013 +0200
  4. dd5e8da ARM: add assembly routine to switch to non-secure state by Andre Przywara · Thu Sep 19 18:06:41 2013 +0200