projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a12bcb7) | patch
xenomai: add support for registry
authorThomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Wed, 19 Apr 2017 20:00:06 +0000 (22:00 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Thu, 20 Apr 2017 21:05:34 +0000 (23:05 +0200)
commit78672fdade49de4c0dc551f1b3a9ac7c61c1af01
treebbc9251dbdb2c20cdc8e8ab1a6e5fb096b912b10tree
parenta12bcb7ff3fb7254358c70e7a4b20f716ce3ff03commit | diff
xenomai: add support for registry

Add a config option to enable the Xenomai registry, which allows accessing
internal Xenomai state.

Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
[Thomas:
 - add missing Config.in comment.
 - rewrap Config.in help text.
 - tweak the .mk file logic for the registry path to avoid the super
   long line.]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
package/xenomai/Config.in diff | blob | history
package/xenomai/xenomai.mk diff | blob | history