[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <859558b7-0441-bf4c-4073-7c65e3fcb480@gmail.com>
Date: Tue, 16 May 2017 17:12:30 -0700
From: PGNet Dev <pgnet.dev@...il.com>
To: "Austin S. Hemmelgarn" <ahferroin7@...il.com>,
Valentin Vidic <Valentin.Vidic@...Net.hr>
Cc: Andrew Cooper <andrew.cooper3@...rix.com>,
Randy Dunlap <rdunlap@...radead.org>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
Clemens Ladisch <clemens@...isch.de>,
xen-devel@...ts.xenproject.org
Subject: Re: [Xen-devel] HPET enabled in BIOS, not presented as
available_clocksource -- config, kernel code, &/or BIOS?
Powered by blists - more mailing lists