Re: [Xenomai-help] RE : RE : Native message queue and synchronisation

[Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>]

Berruer Sébastien wrote:
> Hello,
> 
>>
>>Could you try something: with the patch still applied, could you try to
>>compile Xenomai user-space without the -msoft-float option?
> 
> I've done the compilation of the kernel support with both previous
> patches applied.
> 
> 
> I've done the compilation of the user space support once with
> CFLAGS=-msoft-float, and once without.
> 
> 
> I've run almost all the applications from the testsuite. However, some
> noticed points;
>  - I can't run irqbench. I've got the following error:
> 
> root@domain.hid:$ ./irqbench/run
> *
> *
> * Type ^C to stop this application.
> *
> *
> irqloop: error starting test: Inappropriate ioctl for device
> 
> Must I used the serial RT driver from Xenomai for this test?
> 
>  - When I run swithtest without any argument, I receive the message:

Yes, irqbench only works on x86, as far as I know.

> root@domain.hid:$ ./switchtest/run
> *
> *
> * Type ^C to stop this application.
> *
> *
> == Testing FPU check routines...
> == FPU check routines: unimplemented, skipping FPU switches tests.
> == Threads: sleeper-0 rtk-1 rtk-2 rtup-3 rtup-4 rtus-5 rtus-6 rtuo-7 rtuo-8
> RTT|  00:00:01
> RTH|ctx switches|-------total
> RTD|         900|         900
> RTD|         891|        1791
> RTD|         909|        2700
> RTD|         909|        3609
> RTD|         900|        4509
> RTD|         909|        5418
> RTD|         909|        6327
> RTD|         909|        7236
> RTD|         900|        8136
> RTD|         909|        9045
> RTD|         909|        9954
> 
> But nothing appear when I explicitly run:

Yes, using FPU in Xenomai applications only works with VFP. The Xscale
FPU support is unimplemented.

> 
> root@domain.hid:$ ./switchtest/run rtup_ufpp
> *
> *
> * Type ^C to stop this application.
> *
> *
> == Threads: sleeper_ufps-0 rtup_ufpp-1
> RTT|  00:00:01
> RTH|ctx switches|-------total
> RTD|         200|         200
> RTD|         198|         398
> RTD|         202|         600
> RTD|         202|         802
> RTD|         202|        1004
> RTD|         202|        1206
> RTD|         200|        1406
> RTD|         202|        1608
> RTD|         200|        1808

It does not really make sense to try this configuration, since the
Xscale fpu support is unsupported. Though I think it should exit with an
error instead of doing what it currently does.

-- 
                                          Gilles