xenomai 怎么读?就是怎么发音？

找不到官方说法耶

但我查到了

“jeno-mayee”

“eno-mai”

“'senoo-mai”

德国人说他们这样念

“'ksenoo-mai”