[Xenomai-git] Philippe Gerum : nucleus: demote RPI boost upon linux-originated signal

2010-10-04 Thread GIT version control
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

[Xenomai-git] Philippe Gerum : nucleus: demote RPI boost upon linux-originated signal

2010-08-16 Thread GIT version control
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