Module: xenomai-gch Branch: for-forge Commit: b5f13f846e33109bf9fdedf7b963391a28fa3765 URL: http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=b5f13f846e33109bf9fdedf7b963391a28fa3765
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org> Date: Sun Sep 15 15:59:52 2013 +0200 hal/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