On Wed, May 06, 2015 at 01:50:36PM +0000, SMITH Peter T wrote:
> Hi everyone,
>
> I have successfully built a kernel for Zynq 7020 (on the Xilinx
> ZC702 board) following the instructions on the Xenomai web site.
>
> I have used the linux-denx git (branch xilinx-zynq-v3.14.17) and
> the xenomai-2.6 git (branch master). The kernel boots and I am
> able to log on to the target, so all seems well. I have also made
> sure that CONFIG_CPU_FREQ and CONFIG_CPU_IDLE are not enabled.
>
> I do however, see a strange error message related to [ INFO:
> inconsistent lock state ] in my dmesg output.
>
> My first question is, is this anything to worry about? Is it an
> indication that my build is incorrect.
Yes, in its current form, irq state tracking does not work
correctly, and what is more gets function called in Xenomai domain
which should not be called. So, better disable it altogether. Jan
proposed to fix this, but only came up with an empirically validated
implementation which was thus refused. This functionality will
probably be disabled in the kernel configuration if nobody comes
with an implementation which can be proved to cover all the cases.
> My second (and last) question is related to performance. Below is
> the output of the latency test on an unloaded target. Is it normal
> to see negative latencies or is this an indication that something
> is wrong?
Yes, it means that your system is not correctly calibrated.
--
Gilles.
_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai
