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