Jeff Weber wrote: > For the FAQ some day ... > > What is the origin of the name "Xenomai"?
There must be some word trick at work here. What about mirroring the order of the letters? Anyone has any clue? -- Stephane _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
