From mboxrd@z Thu Jan  1 00:00:00 1970
From: Christian Hildner <christian.hildner@hob.de>
Date: Tue, 01 Jun 2004 07:50:48 +0000
Subject: Real time clock on ia64 platforms
Message-Id: <40BC3558.7040606@hob.de>
List-Id: <linux-ia64.vger.kernel.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: linux-ia64@vger.kernel.org

Hi,

someone may know what kind of RTC device the ia64 platforms (HP ZX 6000 
+ i2000) use. I want to access it directly, without using EFI calls.

Christian