Hi all,
I have created a simple CAMKES-VM-x86 app for a PC but its PCI devices are not
working due to not receiving corresponding interrupts.
By adding a printf to the function "handleInterrupt" inside the seL4 kernel I
found that only some limited interrupts such as timer and serial are received.
However, capdl_spec.c file contains all necessary declaration of capabilities
and objects for the required interrupts such as follows,
...
[19625] = {
#ifdef CONFIG_DEBUG_BUILD
.name = "vm0_irq_10",
#endif
.type = CDL_IOAPICInterrupt,
.slots.num = 1,
.slots.slot = (CDL_CapSlot[]) {
{0, {.type = CDL_NotificationCap, .obj_id = 19567 /*
vm0_irq_notification_obj_10 */, .is_orig = true, .rights = (CDL_CanRead), .data
= { .tag = CDL_CapData_Badge, .badge = 0}}},
},
.ioapicirq_extra = {
.ioapic = 0,
.ioapic_pin = 10,
.level = 1,
.polarity = 1,
},
},
...
and the host endpoint of the VMM thread is properly set to receive IRQ
notifications and route them to VM, and the IOAPIC pin number (source) is also
true, I checked.
How can I solve the problem?
Any pointers would be appreciated.
Kind regards,
Hamed
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
