6deb695c1d
cpu(s) into the kernel, and sync-ing them up to "kernel" mode so we can send them ipis, which also work. Thanks to John Baldwin for providing me with access to the hardware that made this possible. Parts obtained from: bsd/os |
||
---|---|---|
.. | ||
compile | ||
conf | ||
ebus | ||
include | ||
isa | ||
pci | ||
sparc64 |