projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef3392f) | patch
xenomai: group skin selection in separate menu and cleanup
authorThomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Wed, 19 Apr 2017 20:00:01 +0000 (22:00 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Thu, 20 Apr 2017 20:33:56 +0000 (22:33 +0200)
commit7d04d88b780bef14ef642ae026c45323c0c16456
tree48137dfc93e52f2711149ab05f3e76ac1a8e2697tree
parentef3392f2caa88ad5bd4beed8a2bd4b1c8d932abfcommit | diff
xenomai: group skin selection in separate menu and cleanup

Clarify the Xenomai config options by grouping the skin-related options in a
separate menu.

Additionally:
- update proper capitalization of skin names
- sort entries
- replace 'skin library' by 'skin' to match the terminology in Xenomai
  sources

Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
package/xenomai/Config.in diff | blob | history