On 09/23/2012 09:42 AM, Thierry Bultel wrote:

> Hi,
> 
> My configuration is linux-3.2.21+ipipe-core-3.2.21-arm-1.patch,
> running in qemu 1.2.0 for versatile express. I have CONFIG_SMP but
> qemu is launched with 1 core only (else it does not boot, keeps hung
> just after "booting the kernel", but that is not the point here).


Basically, versatile express is not a board supported by the I-pipe
patch, so, the first thing is to check that the I-pipe port is working
correctly. For instance, I would run tsc -w first to see if the tsc
emulation is working correctly. Then you can use this document:

http://www.xenomai.org/index.php/I-pipe-core:ArmPorting

As a check list.

Also, some modifications would be needed to get it working in SMP mode.
This should be much easier to start with the I-pipe kernel for 3.4,
except for the "global timer" which seems not to be present on versatile
express, so, some code would be needed to skip the initialization in
gt_setup when we detect a processor that does not have a global timer.

-- 
                                                                Gilles.

_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to