failed assertion in oskit-mach
Hi, I have 440BX motherboard with PCI CMD649 ATA-100 controller. All my GNU Mach 2 kernels stop at this assertion: ../gnumach/ipc/ipc_port.c:1126: failed assertion `port->ip_srights > 0' It seems that it's triggered right after GNU Mach 2 tries to execute ext2fs.static. GNU Mach 1.x from the tarball behaves as expected: ext2fs.static says that it wasn't able to find the asked disk (my only hard disk is attached to the CMD649). For a long time I thought that this is the result of my attempts to make CMD649 driver working, but I've found that this doesn't seem to be the case. So, before trying kernel debugging with our new softint irqs patch, I would like to know if someone experienced such a problem or/and know what's going on. Regards -- Ognyan Kulev <[EMAIL PROTECTED]>, "\"Programmer\"" ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
Re: failed assertion in oskit-mach
On Fri, Jan 31, 2003 at 11:34:21AM +0200, Ognyan Kulev wrote: > Hi, > > I have 440BX motherboard with PCI CMD649 ATA-100 controller. All my GNU > Mach 2 kernels stop at this assertion: > > ../gnumach/ipc/ipc_port.c:1126: failed assertion `port->ip_srights > 0' I think this usually points to a small typo in the GRUB boot script. Mach is extremely picky about it, and it doesn't provide useful diagnostics on certain errors. Fixing that would be nice. You could try to get a backtrace to confirm this, or just verify your boot script. Thanks, Marcus -- `Rhubarb is no Egyptian god.' GNU http://www.gnu.org[EMAIL PROTECTED] Marcus Brinkmann The Hurd http://www.gnu.org/software/hurd/ [EMAIL PROTECTED] http://www.marcus-brinkmann.de/ ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
Re: failed assertion in oskit-mach
Marcus Brinkmann <[EMAIL PROTECTED]> writes: > I think this usually points to a small typo in the GRUB boot script. Mach > is extremely picky about it, and it doesn't provide useful diagnostics on > certain errors. Fixing that would be nice. A small workaround could be to provide a small script which adds a new entry in the grub menu file. But of course the real solution would be to add some usefall diagnostics to the code. daniel ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
Re: userspace drivers
On Tue, Jan 21, 2003 at 08:55:56AM +0100, Joachim Nilsson wrote: > On Mon, Jan 20, 2003 at 11:25:14PM +0100, Robert Millan wrote: > > On Mon, Jan 20, 2003 at 11:09:02AM -0800, James Morrison wrote: > > > I don't believe any work is being done on userspace drivers. If you want to > > > look specifically mach user space drivers you can read the mach 3 Kernel > > > Interface[1]. If you aren't specifically looking at mach drivers, perhaps > > > you may want to acquint yourself with oskit, and how GNU Mach in cvs uses > > > the interfaces in oskit. > > > [1] http://www-2.cs.cmu.edu/afs/cs/project/mach/public/www/doc/osf.html > > the Kernel Interface docs are missing. does anyone casualy have them? > > They are still there, only they are not in three parts as the text > say. Try without the index number, like this: > > ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps I've read the IO section and doesn't realy seem a useful interface. any plans to provide ioperm ()? -- Robert Millan "Omnis enim res, quad dando non deficit, dum habetur et non datur, nondum habetur, quomodo habenda est." "For if a thing is not diminished by being shared with others, it is not rightly owned if it is only owned and not shared." Aurelius Augustinus (354-430) ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
Re: userspace drivers
On Fri, Jan 31, 2003 at 04:36:35PM +0100, Robert Millan wrote: > I've read the IO section and doesn't realy seem a useful interface. any plans > to provide ioperm ()? ioperm is supported in GNU Mach v2, that's what I implemented a year ago (and I think it is in the GNU Mach manual, although I am not sure). GNU Mach v1 pathetically doesn't restrict I/O access at all (we could easily revert that to prevent all I/O access, though). The question of user interrupt handlers: There is an interface, but I don't think it was ever tried in GNU Mach, so I don't know if that works or can be resurrected. In any case user space drivers are only interesting in a more modern microkernel like L4. Thanks, Marcus -- `Rhubarb is no Egyptian god.' GNU http://www.gnu.org[EMAIL PROTECTED] Marcus Brinkmann The Hurd http://www.gnu.org/software/hurd/ [EMAIL PROTECTED] http://www.marcus-brinkmann.de/ ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
