[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <1337243481.27692.32.camel@mfleming-mobl1.ger.corp.intel.com>
Date: Thu, 17 May 2012 09:31:21 +0100
From: Matt Fleming <matt.fleming@...el.com>
To: Jan Beulich <JBeulich@...e.com>
Cc: Matthew Garrett <mjg59@...f.ucam.org>, mingo@...e.hu,
tglx@...utronix.de, linux-kernel@...r.kernel.org, hpa@...or.com
Subject: Re: [PATCH] x86-64: use EFI to deal with platform wall clock
On Wed, 2012-05-16 at 13:59 +0100, Jan Beulich wrote:
> I shall give that a try then. It would imply that we don't need
> phys_efi_get_time() then anymore. I don't have a 32-bit EFI box
> though to test that things don't break there...
I can test out 32-bit EFI, or at least find someone with access to such
a system.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists