On 2011-06-22 14:47, VEYSSIERE Nicolas wrote: > Yes, my host is Windows, I can't change anything about that, and yes it is > only for testing. > > I changed my boot line : [ 0.000000] Kernel command line: root=/dev/sda3 > xeno_hal.cpufreq=1200 clocksource=tsc console=tty0 console=ttyS0,115200 > noapic acpi=noirq video=vesafb:mtrr:3,ywrap vga=6 > > But I didn't find the range or the unit for cpufreq, and maybe I had to > prefix clocksource with xeno_hal ?
Unit is HZ. > > But I noticed this in the log : > > [ 1.202694] BUG: unable to handle kernel NULL pointer dereference at > 00000920 > [ 1.202694] IP: [<c10736fe>] __xirq_end+0x12/0x2e > [ 1.202694] *pde = 00000000 > [ 1.202694] Oops: 0000 [#1] SMP > > Can it be because SMP is activated and that virtualbox is enabling only 1 > processor with 1 core ? I don't know what vbox emulates in UP mode. We are only using it (for Windows hosts) in SMP mode. 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
