You might try unsharing the IRQ's for those devices, or some such. Or compile a really utterly bare kernel.
In wichfile do I find the main() function for gnumah? _start() in i386/i386at/boothdr.S. You can also use the kernel debugger to help you out. See the manual for details about it, it is similar to gdb. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd