Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Not getting true interrupts #116

Open
Hamed-Kh18 opened this issue Dec 13, 2023 · 0 comments
Open

Not getting true interrupts #116

Hamed-Kh18 opened this issue Dec 13, 2023 · 0 comments

Comments

@Hamed-Kh18
Copy link

Hi

I am trying to run linux OS on camkes seL4 hypervisor. The hardware I use is x86-64. But I do not receive the interruptions of the devices that I have passed through, and Linux is managing the interruptions in the form of pooling.
This problem exists at the kernel level. Where the IO/APIC settings should be applied to the system but are not applied correctly. Is this problem solved in internal versions?

For example, physical interrupt 10 is defined for network hardware. Vector 58 is defined for this interval. The IO/APIC information used for this device is also specified. However, interrupts are not received correctly. (In fact, because the level trigger is set, interrupts are sent quickly, this is not true and causes a destructive effect on the performance of the guest OS)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant