Module: xenomai-forge
Branch: rtdm-api-waitqueues
Commit: ad340d0ea0d6d0adbcca48427ca74279b5cd2c3b
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=ad340d0ea0d6d0adbcca48427ca74279b5cd2c3b
Author: Philippe Gerum
Date: Tue Apr 8 12:16:05 2014 +0200
scripts/xeno-config: introduce
Module: xenomai-forge
Branch: next
Commit: ad340d0ea0d6d0adbcca48427ca74279b5cd2c3b
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=ad340d0ea0d6d0adbcca48427ca74279b5cd2c3b
Author: Philippe Gerum
Date: Tue Apr 8 12:16:05 2014 +0200
scripts/xeno-config: introduce --kcflags
Thi
Module: xenomai-forge
Branch: next
Commit: aa1ef26327ba8812bbfbe219984cbd75b2f6626f
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=aa1ef26327ba8812bbfbe219984cbd75b2f6626f
Author: Philippe Gerum
Date: Tue Apr 8 12:16:05 2014 +0200
scripts/xeno-config: introduce --kcflags
Thi