vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

arm64: Use cpu timer for timekeeping.

Browse source
This commit is contained in:
Vladimir Serbinenko 2016-02-12 12:43:02 +01:00
parent 6f4189ffc1
commit 4598cafa7d
2 changed files with 61 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
grub-core/Makefile.core.def
View file

@ -213,7 +213,7 @@ kernel = {
arm_efi = kern/arm/efi/init.c;
arm_efi = kern/arm/efi/misc.c;
arm64_efi = kern/arm/efi/init.c;
arm64_efi = kern/arm64/efi/init.c;
i386_pc = kern/i386/pc/init.c;
i386_pc = kern/i386/pc/mmap.c;