Module: xenomai-forge
Branch: next
Commit: bd729dd3a69bb6f54370621b9e2444b51d485711
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=bd729dd3a69bb6f54370621b9e2444b51d485711
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date: Sun Sep 15 15:59:52 2013 +0200
cobalt/x86: fix smi message
---
kernel/cobalt/arch/x86/Makefile | 4 ++--
kernel/cobalt/arch/x86/smi.c | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/kernel/cobalt/arch/x86/Makefile b/kernel/cobalt/arch/x86/Makefile
index 9a75ee5..e6f5024 100644
--- a/kernel/cobalt/arch/x86/Makefile
+++ b/kernel/cobalt/arch/x86/Makefile
@@ -1,5 +1,5 @@
-obj-$(CONFIG_XENOMAI) += x86_hal.o
-x86_hal-y := machine.o mayday.o thread.o smi.o
+obj-$(CONFIG_XENOMAI) += xeno_machine.o
+xeno_machine-y := machine.o mayday.o thread.o smi.o
ccflags-y := -Iarch/x86/xenomai/include -Iinclude/xenomai
diff --git a/kernel/cobalt/arch/x86/smi.c b/kernel/cobalt/arch/x86/smi.c
index e06734a..6c49e23 100644
--- a/kernel/cobalt/arch/x86/smi.c
+++ b/kernel/cobalt/arch/x86/smi.c
@@ -121,9 +121,9 @@ void mach_x86_smi_init(void)
}
if (smi_state == 0) {
- printk("Xenomai: SMI-enabled chipset found, but SMI "
+ printk("[Xenomai] SMI-enabled chipset found, but SMI "
"workaround disabled\n"
- " (see xeno_hal.smi parameter). You may
encounter\n"
+ " (see xeno_machine.smi parameter). You may
encounter\n"
" high interrupt latencies!\n");
pci_dev_put(dev);
return;
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git
