On 04/14/2011 06:42 PM, Richard Cochran wrote:
> On Sun, Apr 10, 2011 at 01:22:08PM +0200, Gilles Chanteperdrix wrote:
>> To help debugging this, please run the kernel which crashes with I-pipe
>> enabled, without Xenomai, and the attached test, in order to see if the
>> tsc behaves correctly.
> Getting back to this, I did try the test program with ipipe 2.6.35 but
> without xenomai. It seems to run fine. But I only ran it for a few
> minutes.  The exact version was ipipe- plus endian
> fix, and I attached the config.

Hi Richard,

the issue on ixp looks like the last one to be fixed on arm. If you have
time, could you try the following program? It makes a very basic test,
but not having a big-endian ixp at end, I am wondering about very basic

#include <stdio.h>

__attribute__((naked)) unsigned long long f(unsigned long long *x)
        asm("ldrd r0, [r0]\n\t"
            "mov pc, lr");

__attribute__((naked)) unsigned long long g(unsigned long long *x)
        asm("ldm r0, {r0, r1}\n\t"
            "mov pc, lr");

int main(void)
        unsigned long long x = 0xffffffffULL;

        printf("f: %Lx\n", f(&x));
        printf("g: %Lx\n", g(&x));
        return 0;

If you do not have time, do you agree for a revert of the KUSER_TSC code
to the one we had before, and which is working for you?



Xenomai-core mailing list

Reply via email to