Hey guys, I wanted to let you know I have made significant changes to arm_interrupts.S to handle more than the software interrupts. The big problem I ran into that caused a little bit of reorganizing was all modes besides SVC and USER have very limited stack space (12 bytes for each mode). Anyway, if you have hits to this part please let me know and I will see how it might fit in. I was also thinking quite a bit on whether we should also intercept asynchronous interrupts (IRQ/FIQ), and I think that we should. The reason being if we didn't we would end up loosing control over the guest. For example if the guest was in some sort of loop with no page faults occurring we (the host user space program) might not get control for a long time. The host kernel would of course get control, but would handle the interrupts and redispatch directly to the guest, and as a result we would never be able to "asynchronously" issue interrupts to the guest. Does that make sense? Or am I overthinking this? Brian