Module: xenomai-head
Branch: master
Commit: e10a88e8cd9ef54a14ac36359b16dcd71e299df7
URL:
http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=e10a88e8cd9ef54a14ac36359b16dcd71e299df7
Author: Philippe Gerum r...@xenomai.org
Date: Mon Aug 16 17:21:15 2010 +0200
nucleus: demote RPI boost
Module: xenomai-rpm
Branch: for-upstream
Commit: ee4e5536029ba326e36cb8862cced20d8c3a4c63
URL:
http://git.xenomai.org/?p=xenomai-rpm.git;a=commit;h=ee4e5536029ba326e36cb8862cced20d8c3a4c63
Author: Philippe Gerum r...@xenomai.org
Date: Mon Aug 16 17:21:15 2010 +0200
nucleus: demote RPI