From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <51777F8C.9000700@xenomai.org>
Date: Wed, 24 Apr 2013 08:45:32 +0200
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
References: <mailman.252.1366321778.1444.xenomai@xenomai.org>	<00f801ce3fcb$30850ce0$918f26a0$@com>	<51763D6E.6090407@xenomai.org>	<016901ce4043$7b54e1f0$71fea5d0$@com>	<5176D40E.7060607@xenomai.org>
	<019a01ce40a5$95325b90$bf9712b0$@com>
In-Reply-To: <019a01ce40a5$95325b90$bf9712b0$@com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai] for-core-3.8 on ARM ( i.MX53 )
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <http://www.xenomai.org/mailman/options/xenomai>,
	<mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://www.xenomai.org/pipermail/xenomai>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <http://www.xenomai.org/mailman/listinfo/xenomai>,
	<mailto:xenomai-request@xenomai.org?subject=subscribe>
To: George Pontis <GPontis@z9.com>
Cc: xenomai@xenomai.org

On 04/24/2013 06:38 AM, George Pontis wrote:

>> - is the timer running correctly?
>> - is the clocksource incrementing correctly?
> 
> I don't know how to check either of these.


Use printk...

-- 
                                                                Gilles.