Michael Brown 302f1eeb80 [time] Allow timer to be selected at runtime 8 gadus atpakaļ
..
core [arm] Add support for 64-bit ARM (Aarch64) 9 gadus atpakaļ
include [time] Allow timer to be selected at runtime 8 gadus atpakaļ
interface/efi [arm] Add support for 32-bit ARM 9 gadus atpakaļ
Makefile [arm] Split out 32-bit-specific code to arch/arm32 9 gadus atpakaļ
Makefile.efi [arm] Split out 32-bit-specific code to arch/arm32 9 gadus atpakaļ