[PATCH 0/6 gnumach] SMP on AMD hardware

[Damien Zammit]

Hi all,

This patchset fixes a number of things wrong with smp
and most of all fixes the root cause of an AP startup
problem (Patch 1), which may also be affecting IPIs in
general.

In qemu with smp, I get a new panic after all modules are
loaded:

../kern/slab.c:966: kmem_cache_alloc_from_slab: \
Assertion `bufctl != NULL' failed.panic {cpu1}

On HP T620 hardware with coreboot, I cannot test further
than the modules loading because the SATA controller
is not detected for some other reason.

Damien