mondo and Debian

[Martin Michlmayr <tbm@cyrius.com>]

Hi Andree & Hugo,

I'm a Debian quality assurance person and I noticed you commenting on
some of mondo's bug in our Bug Tracking System recently.  There were
some license problems with our mindi-kernel package because it
contained pre-compiled kernel modules without any source code.  This
might just have been a packaging issue, but the package maintainer
didn't respond to email (although he seems to be around) so the
package was removed (see http://bugs.debian.org/223993).  Now, mindi
is uninstallable in Debian because it depends on this removed
mini-kernel package, and in turn mondo is uninstallable because it
depends on mindi.

Since there is some interest in mondo simply removing mindi and mondo
from Debian to "fix" this dependency problem is perhaps not a good
idea.  Does mindi need those kernel modules or can it do without?
Where is the source code for those modules?

It would be great if you could shed some light on these issues, so we
can better decide how to proceed.
-- 
Martin Michlmayr
tbm@cyrius.com