Hi,
On 10/07/2013 01:30 PM, Leif Lindholm wrote:
> Hmm - trunk does not however seem to be able to successfully boot a
> Linux kernel on ARM/UEFI currently. I will look into that.
You may have run into the same issues I run into when I try booting a
Linux kernel with device tree. See my patch at
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 perfo
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,
