Если kernel-image-xenomai не нужно, предлагаю удалить из p10. См. bug#47578
Смотрю, на оф.сайте 4-е ядро совсем не фигурирует. Только 3, 5 и 6-е.
В p10 же util-linux без "libmount-mountfd-support" значит должен быть не подвержен #47578? kernel-image-xenomai и xenomai хоть и не активно поддерживаются но могут быть использованы для тестирования Xenomai (пользователи известны). В теории их можно даже обновить (если поступит запрос от их пользователей например). https://source.denx.de/Xenomai/ipipe-x86/-/tags ipipe-core-4.19.288-cip101-x86-27 30a26803 · ipipe-core-4.19.288-cip101-x86-27 · 1 month ago https://source.denx.de/Xenomai/xenomai/-/tags v3.1.4 protected 5d49028a · config: Bump version number · 4 months ago
(Ответ для Vitaly Chikunov на комментарий #2) > В p10 же util-linux без "libmount-mountfd-support" значит должен быть не > подвержен #47578? Да. Я просто хотел включить. > kernel-image-xenomai и xenomai хоть и не активно поддерживаются но могут > быть использованы для тестирования Xenomai (пользователи известны). Ок, тогда не буду.