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
