From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <4BE315C9.1050008@domain.hid> Date: Thu, 06 May 2010 21:17:29 +0200 From: Gilles Chanteperdrix MIME-Version: 1.0 References: <4BE27AA7.2070302@domain.hid> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai-help] Problem getting the time with a kernel patched with xenomai List-Id: Help regarding installation and common use of Xenomai List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Divi Oillo Cc: Xenomai help Divi Oillo wrote: > I don't have CONFIG_HPET=y and CONFIG_HPET_MMAP=y in the .config of my > patched kernel. How can I configure my patched kernel to fix my problem? > Can I add these two options in my patched kernel .config? Yes you can, but more important than the kernel options are the run time decisions, of which you are informed in the kernel logs, as my last mail already told you. Anyway, all this is not really specific about Xenomai, so you would probably be better of finding some web site explaining high-res timers in details. And please do not forget to CC the mailing list. -- Gilles.