Hi,
I discovered a race condition in the irq masking code, and a problem with inter processor interrupts (IPIs) that are addressed in two separate patches. With these two patches, if you also revert the commit that isolates the AP cpus into a separate processor set and apply another unsubmitted patch I have, a full SMP system can be booted and works with rumpnet as net driver. Netdde still does not function correctly in this configuration. The main thing is that there are no more gnumach hangs with receiving large files with rumpnet. I think these two changes are safe to apply as is, but the irq masking one could use some careful review. (See inline code comments). Thanks, Damien
