On 07.10.2013 13:30, Leif Lindholm wrote: > On Fri, Oct 04, 2013 at 12:46:53AM +0200, Vladimir 'φ-coder/phcoder' > Serbinenko wrote: >> Current timer code for ARM EFI is horror. Can anyone test this? > > I can verify that this works on my Versatile Express TC2 platform, > with no noticeable performance degradation (and it does increment). > > However, could this be moved to kern/efi/init.c? > I will need the same function for the 64-bit ARM port (which I > intend to post a first version of later this week). Moving it to kern/efi/init.c would be counterproductive as only arm uses it. On the other hand it's fine to include 32-bit ARM files in 64-bit port. We do the same between x86_64-efi and i386-efi. E.g. x86_64_efi = kern/i386/efi/init.c;
> > Hmm - trunk does not however seem to be able to successfully boot a > Linux kernel on ARM/UEFI currently. I will look into that. > > / > Leif > > _______________________________________________ > Grub-devel mailing list > Grub-devel@gnu.org > https://lists.gnu.org/mailman/listinfo/grub-devel >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel