I've had issues with interrupts on Genode on my desktop computer with an AMD chipset. In particular, the USB and AHCI drivers both get stuck waiting for interrupts. However, the VESA framebuffer driver works fine. I have tried using ACPICA to solve my issues, but with no success.

I recently bought a PS/2 mouse, and it works just fine. Also, I recently installed an Intel wireless card, which Sculpt was able to detect. When I selected WiFi, the driver was able to detect nearby wireless networks. I have not been able to test whether I can connect yet, because I don't have a PS/2 keyboard. I'll try inserting my own wifi_config XML file with an SSID and password into my Sculpt image tomorrow, and then I can report on whether that works.

What does this new information indicate?