add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
DB_88F6720 BOARD
M:    Stefan Roese <sr@denx.de>
S:    Maintained
F:    board/Marvell/db-88f6720/
F:    include/configs/db-88f6720.h
F:    configs/db-88f6720_defconfig