From mboxrd@z Thu Jan  1 00:00:00 1970
From: Pavel Fedin <p.fedin@samsung.com>
Subject: RE: [RFC] Handling CP15 timer without in-kernel irqchip
Date: Fri, 02 Oct 2015 12:41:38 +0300
Message-ID: <00c401d0fcf6$8aa1ac70$9fe50550$@samsung.com>
References: <00a001d0fce3$f76e2170$e64a6450$@samsung.com>
 <560E4EC4.5050101@redhat.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Return-path: <kvm-owner@vger.kernel.org>
In-reply-to: <560E4EC4.5050101@redhat.com>
Content-language: ru
Sender: kvm-owner@vger.kernel.org
To: 'Paolo Bonzini' <pbonzini@redhat.com>, kvmarm@lists.cs.columbia.edu, kvm@vger.kernel.org
Cc: marc.zyngier@arm.com, 'Christoffer Dall' <christoffer.dall@linaro.org>
List-Id: kvmarm@lists.cs.columbia.edu

 Hello!

> I like the latter.  But I guess one could even do both?

 You know, you are right, they absolutely do not contradict each other.
 Patch set for #1 is quite not big, if you are interested, and nobody votes strongly against, i can
rebase it to 4.3 and post.

Kind regards,
Pavel Fedin
Expert Engineer
Samsung Electronics Research center Russia