> - A kernel option that causes Xenomai (or Adeos) to blatantly > malfunction or even crash is a freaking BUG, and should be > reported asap to the Xenomai-core list or the Adeos-main list. > IOW, there is no such thing as options allowed to crash your > box with Adeos/Xenomai because of some "don't care attitude"; > would such bug happen, it must and will be fixed. All the > people involved in contributing to both projects try to make > sure that any option could be enabled without risking terminal > damage to anyone's setup. The worst thing that should be > allowed to happen is high latency spots, because some options > might cause some hardware to interact badly with critical > resources Adeos/Xenomai also happen manage.
Here is a kernel-option-related bug. I am using a stock Debian-patched kernel with the standard Debian kernel config, on Pentium M and Pentium 4 machines, + the latest Adeos patch. The Debian kernel configuration file, that has every option enabled and everything as modules, works fine with Xenomai except for one single option which must be disabled: CONFIG_PCI_MSI This option messes with the oneshot timer (timer freezes). (thanks to Gilles to have found this out) Otherwise, my biggest source of problems is IRQ sharing between realtime and non-realtime drivers: this predictably provokes kernel panics. But Jan seems to be working on it. -- Romain Lenglet _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core