On Wed Jul 06, 2005 at 14:46:02 -0400, Andrew Davenport wrote: > So, is con neccessary to catch printks from the linux kernel?
No, just any console, like VGA console, a framebuffer driver (like l4fb) or a serial console (like l4ser). There's no difference from normal Linux. If you do not have a console some way you won't see anything. > Also, I have no > clue to how to examine IRQ allocation in linux. Check /proc/interrupts > Another configuration issue i notice is (in menu.lst): > > module .../l4io --noirq > > so we are not using irqs? No, that just means that l4io should not acquire all interrupts and relay them via the omega0 interface. It's fine this way. On Wed Jul 06, 2005 at 15:02:13 -0400, Andrew Davenport wrote: > I got it working. I had to go into fiasco config: > cd .../l4/kernel/fiasco > make config > > and enable a fourth experimental option in ABI extensions: > -->Allow association of multiple IRQs Well, must be something else. This option shouldn't have any influence on the issues. Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
