[Xenomai-git] Philippe Gerum : hal/arm: do not assume single global timer chip

Module: xenomai-head Branch: master Commit: 036120a6c8846d2706be66b498a7cfc9e879bca4 URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=036120a6c8846d2706be66b498a7cfc9e879bca4 Author: Philippe Gerum r...@xenomai.org Date: Thu Oct 14 09:29:07 2010 +0200 hal/arm: do not assume

[Xenomai-git] Philippe Gerum : Merge branch 'master' of ssh+git://xenomai.org/ xenomai-head

Module: xenomai-head Branch: master Commit: b54ef84cbffe30f3dcb78ab4772af31e447e08d8 URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=b54ef84cbffe30f3dcb78ab4772af31e447e08d8 Author: Philippe Gerum r...@xenomai.org Date: Sat Oct 23 12:07:35 2010 +0200 Merge branch 'master' of

[Xenomai-git] Gilles Chanteperdrix : build: bootstrap

Module: xenomai-head Branch: master Commit: 5f8bf8560e27e6c7876f2cd2686748912b567ba4 URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=5f8bf8560e27e6c7876f2cd2686748912b567ba4 Author: Gilles Chanteperdrix gilles.chanteperd...@xenomai.org Date: Wed Oct 20 04:57:58 2010 +0200 build:

[Xenomai-git] Gilles Chanteperdrix : doc: regenerate

Module: xenomai-head Branch: master Commit: 15e431ea51797353cd145d5e7098fef7592774b3 URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=15e431ea51797353cd145d5e7098fef7592774b3 Author: Gilles Chanteperdrix gilles.chanteperd...@xenomai.org Date: Wed Oct 20 05:03:06 2010 +0200 doc:

[Xenomai-git] Philippe Gerum : scripts: remove reference to discarded RTAI skin

Module: xenomai-head Branch: signal-revert Commit: 0fe092f3abff594512283a8ddc97428bb5b91395 URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=0fe092f3abff594512283a8ddc97428bb5b91395 Author: Philippe Gerum r...@xenomai.org Date: Mon Oct 25 17:24:33 2010 +0200 scripts: remove