[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20170513213215.wxkskhyvbu7rz7n7@gavran.carpriv.carnet.hr>
Date: Sat, 13 May 2017 23:32:15 +0200
From: Valentin Vidic <Valentin.Vidic@...Net.hr>
To: PGNet Dev <pgnet.dev@...il.com>
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?
On Sat, May 13, 2017 at 02:06:28PM -0700, PGNet Dev wrote:
> xl dmesg | grep -i hpet | grep -vi command
> [ 1.365876] hpet_acpi_add: no address or irqs in _CRS
> [ 1.365876] hpet_acpi_add: no address or irqs in _CRS
Ah, guess this is caused by console_to_ring boot option.
Better check you are not missing info from the Xen ring buffer.
It should start with the Xen version like this:
# xl dmesg | head
(XEN) Xen version 4.4.1 (Debian 4.4.1-9+deb8u9) (ijackson@...ark.greenend.org.uk) (gcc (Debian 4.9.2-10) 4.9.2) debug=n Mon May 8 16:01:37 UTC 2017
(XEN) Bootloader: GRUB 2.02~beta2-22+deb8u1
(XEN) Command line: placeholder dom0_mem=2048M com2=115200,8n1 console=com2,vga
(XEN) Video information:
(XEN) VGA is text mode 80x25, font 8x16
(XEN) VBE/DDC methods: none; EDID transfer time: 1 seconds
(XEN) EDID info not retrieved because no DDC retrieval method detected
(XEN) Disc information:
(XEN) Found 1 MBR signatures
(XEN) Found 1 EDD information structures
--
Valentin
Powered by blists - more mailing lists