[seL4] Ethernet passthrough on x86 (QEMU)

[alberto.lange--- via Devel]

Hi!

I wanted to share another problem with you again, I hope it doesn't bother you. 

I'm trying to set up a small network between two simulations on QEMU of seL4 
running a VM before dealing with hardware.
I saw the tutorials related to Ethernet passthrough, but I'm not sure if the 
same approach applies when using QEMU.

These are my configs for the minimal app example:
vm0_config.ioports = [
            {"start":0xc000, "end":0xc03f, "pci_device":0, "name":"Ethernet5"},
        ];

        vm0_config.pci_devices = [
            {
                "name":"Ethernet5",
                "bus":0x0,
                "dev":0x3,
                "fun":0,
                "irq":"Ethernet5",
                "memory":[
                    {"paddr":0xfeb80000, "size":0x20000, "page_bits":12},
                ],
            },
        ];
        vm0_config.irqs = [
            {"name":"Ethernet5", "source":11, "level_trig":1, "active_low":1, 
"dest":10}
        ];

And checking what QEMU presents to seL4 as hardware:
  Bus  0, device   3, function 0:
    Ethernet controller: PCI device 8086:100e
      PCI subsystem 1af4:1100
      IRQ 11, pin A
      BAR0: 32 bit memory at 0xfeb80000 [0xfeb9ffff].
      BAR1: I/O at 0xc000 [0xc03f].
      BAR6: 32 bit memory at 0xffffffffffffffff [0x0007fffe].
      id ""

But when I'm looking for the device on the VM:
# lspci
00:00.0 Class 0600: 5e14:0042

I would appreciate any comments on this.

Thanks in advance.
Alberto Lange
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems