-
Changes are made by enabling all xenomai-related configs using menuconfig for arm kernel, then exported with savedefconfig command. Other missing and removed options are turned on implicitly. Signed-off-by: Roman Stratiienko <roman.stratiienko@globallogic.com> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
0f0c53b3