l4linux with ide-harddisk

[Rudolf Weber]

Hello,
 
I prepared a 32 bit ubuntu system on a virtualbox and replaced the linux - Kernel through the 
l4re-snapshot-2013060718 - L4Linux-mag-x86 Konfiguration.
 
First I made a disk and add it to the vm and I could mount it !
I wonder ( see later).
 
Now I configured the Ubuntu-Linux-Root-Disk as /dev/hda and:
...
piix 0000:00:03.0: IDE controller (0x8086:0x7111 rev 0x01)
pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0
piix 0000:00:03.0: not 100% native mode: will probe irqs later
    ide0: BM-DMA at 0xd000-0xd007
    ide1: BM-DMA at 0xd008-0xd00f
hdc: VBOX CD-ROM, ATAPI CD/DVD-ROM drive
hdc: UDMA/33 mode selected
ide0 at 0x1f0-0x1f7,0x3f6 on irq 14
ESC[37mio      | ERROR: binding irq 15, result is -1 (Operation not permitted)
ESC[0m
ESC[33ml4linux | Bind irq to icu failed with -1ESC[0m
l4x-irq: Did not get IRQ 15 from IO service
 
 
==> I think, the interupt is not delegated from the IO-Server to l4linux 
My understanding is, that the io-Server manage all interrupts,ioports.
But why I could mount a disk ?

I dont see a device in  x86-legacy.dev, so I add IDE0 and IDE1 (see attachment),
and add a systembus 
 
 disks => new System_bus()
{
  IDE0 => wrap(hw-root.match("ide0"));
  IDE1 => wrap(hw-root.match("ide1"));
}
 in 
 l4lx-x86.io (see attachment)

in the start-config l4lx-gfx.cfg the disks are granted to l4linux (see attachment)

As result, the output is
 piix 0000:00:03.0: IDE controller (0x8086:0x7111 rev 0x01)
pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0
piix 0000:00:03.0: not 100% native mode: will probe irqs later
    ide0: BM-DMA at 0xd000-0xd007
    ide1: BM-DMA at 0xd008-0xd00f
hda: VBOX HARDDISK, ATA DISK drive
hda: UDMA/33 mode selected
hdc: VBOX CD-ROM, ATAPI CD/DVD-ROM drive
Switching to clocksource tsc
hdc: UDMA/33 mode selected
ide0 at 0x1f0-0x1f7,0x3f6 on irq 14
ESC[33ml4linux | Bind irq to icu failed with -1ESC[0m
l4x-irq: Did not get IRQ 15 from IO service
------------[ cut here ]------------
WARNING: at /home/rw/l4exp/l4re-snapshot-2013060718/src/l4linux/arch/l4/l4lxlib/
l4env/irq_vcpu.c:106 l4lx_irq_dev_startup+0x17a/0x180()
Modules linked in:
Pid: 1, comm: swapper Not tainted 3.9.0-l4 #1
Call Trace:

-> the ERROR "ERROR: binding irq 15, result is -1 (Operation not permitted)" 
don't appear,
but the result is the same.

The current output of the serialine is in l4ubuntu.1

The l4-linux I configured with PCI/VPCI see attatchment x86_rw_config like in my last E-mails.

Summary:
   * How to grant the ide-Controllers to l4linux ?
   * Why l4Linux can't get the interrupt - what is wrong with my configuration ?
 
    HW-Question: How are the IDE-Controllers and the PCI related ?
      
Thank you very much
  Rudolf Weber
-------------- next part --------------
A non-text attachment was scrubbed...
Name: l4lx-gfx.cfg
Type: application/octet-stream
Size: 1369 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130807/987901ce/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: l4lx-x86.io
Type: application/octet-stream
Size: 652 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130807/987901ce/attachment-0001.obj>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: l4ubuntu.1.txt
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130807/987901ce/attachment.txt>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: x86-legacy.devs
Type: application/octet-stream
Size: 1084 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130807/987901ce/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: x86_rw_config
Type: application/octet-stream
Size: 48339 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130807/987901ce/attachment-0003.obj>