in Xenomai repository (trunk and v2.3.x branch), you will find
adeos-ipipe-2.6.20-arm-1.7-03.patch, the latest version of the I-pipe
patch for ARM. In addition to merging support for two new boards (ixp4xx
and at91sam926x), this patch adds a few important features:
- the at91 patch now applies after the I-pipe patch with no reject ;
- it is now possible for Xenomai to preempt Linux during the mm switch,
which should improve Xenomai scheduling latency significantly;
- Xenomai is now able to access directly I-pipe tsc emulation in
user-space, providing a low overhead timing facility to user-space

Before including this patch in a new release, and because I could only
test the patch on at91rm9200, we would like people to test the patch on
their hardware and give us feedback about the stability and performance.
In order to adequately stress-test Linux mm context switch, please use
something along the lines of the attached test_switch.c.

As for tsc emulation in user-space, I only implemented it for machines
with a free-running counter, hoping that someone (maybe Sebastian or
Stelian ?) with hardware whose tsc is based on a decrementer could do
the work. This tsc emulation in user-space also required to rework a bit
Xenomai configure script: it is now necessary to pass a
--enable-arm-mach option to configure, and to pass the option
--enable-arm-tsc to enable the tsc.

Thanks in advance.

                                                 Gilles Chanteperdrix
#include <stdio.h>
#include <stdlib.h>

#include <sys/types.h>
#include <unistd.h>
#include <sched.h>

int main(void)
	pid_t child = fork();

	if (child < 0) {

	for (;;)
Xenomai-core mailing list

Reply via email to