Module: xenomai-forge
Branch: next
Commit: 8fdde512c53aa410e5e2770a90cc8de4f9213dae
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=8fdde512c53aa410e5e2770a90cc8de4f9213dae
Author: Philippe Gerum r...@xenomai.org
Date: Wed Jun 5 19:41:30 2013 +0200
psos/tm: fix race in timer
Module: xenomai-forge
Branch: next
Commit: a304cb95292984501b6b367b6f1d773c1dfd1db4
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=a304cb95292984501b6b367b6f1d773c1dfd1db4
Author: Philippe Gerum r...@xenomai.org
Date: Wed Jun 5 19:41:30 2013 +0200
psos/tm: fix race in timer