On 2011-06-22 13:24, VEYSSIERE Nicolas wrote: > First time for me here. > > The log are in the attachement. >
... > [ 0.383950] ------------[ cut here ]------------ > [ 0.384950] WARNING: at arch/x86/kernel/apic/apic.c:1289 > setup_local_APIC+0x1e1/0x2cb() > [ 0.385950] Hardware name: VirtualBox > [ 0.386950] Modules linked in: > [ 0.389949] Pid: 1, comm: swapper Not tainted 2.6.38-xenomai-r6 #1 What's your host system, Windows? If it's Linux, don't use VBox, use QEMU/KVM (it's know to host Xenomai x86 without major problems, it's my primary test platform for years). What may help if you can't avoid VBox is to provide the host's CPU frequency statically to Xenomai (xeno_hal.cpufreq=...) and enforce the tsc as clocksource (clocksource=tsc). Timekeeping may go mad in the guest, but it's for testing purposes only anyway. Jan -- Siemens AG, Corporate Technology, CT T DE IT 1 Corporate Competence Center Embedded Linux _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
