Module: xenomai-forge
Branch: master
Commit: dbbf3016042c328a25703a358cbe61c6769883d9
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=dbbf3016042c328a25703a358cbe61c6769883d9
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date: Sun Sep 2 22:42:12 2012 +0200
cobalt/x86: abort boot up if CPU has no TSC
---
kernel/cobalt/arch/x86/hal.c | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/kernel/cobalt/arch/x86/hal.c b/kernel/cobalt/arch/x86/hal.c
index 075b58a..4ffbf8e 100644
--- a/kernel/cobalt/arch/x86/hal.c
+++ b/kernel/cobalt/arch/x86/hal.c
@@ -548,6 +548,14 @@ int rthal_arch_init(void)
if (rc < 0)
return rc;
+#ifdef CONFIG_X86_TSC
+ if (!cpu_has_tsc) {
+ printk("Xenomai: TSC support compiled in, but CPU has no TSC\n"
+ " Fix CPU selection in your kernel
configuration\n"
+ return -ENODEV;
+ }
+#endif /* CONFIG_X86_TSC */
+
if (rthal_clockfreq_arg == 0)
rthal_clockfreq_arg = rthal_get_clockfreq();
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git
