[xenomai-images][PATCH 0/6] Xenomai 4 fixes and debug mode, fix for head kernel selection

See patches.

Jan

Jan Kiszka (6):
  Kconfig: Permit to enable debug mode for Xenomai 4
  Add trace-cmd to debug images
  linux-xenomai: Limit latest branch selection to official ones
  ci: Drop 6.1 from xenomai-4 pipelines
  linux-xenomai: Renovate xenomai-4 kernel versions
  linux-xenomai: Switch riscv branch to latest integration

 Kconfig                                       | 61 ++++++++-----------
 ci/xenomai_4_next.yml                         |  1 -
 recipes-core/images/demo-image.bb             |  1 +
 .../linux/linux-xenomai-3_latest.bb           |  2 +-
 recipes-kernel/linux/linux-xenomai-4_6.1.bb   | 14 -----
 recipes-kernel/linux/linux-xenomai-4_6.12.bb  |  2 +-
 recipes-kernel/linux/linux-xenomai-4_6.18.bb  |  2 +-
 .../linux/linux-xenomai-4_latest.bb           |  9 ++-
 8 files changed, 34 insertions(+), 58 deletions(-)
 delete mode 100644 recipes-kernel/linux/linux-xenomai-4_6.1.bb

-- 
2.47.3