> For dom0 kernels you also have to keep cpu* at mainbus? (i.e. have both > cpu and vcpu). This is a first (very small, but still :) step toward > SMP support ... will you switch pmap to use writable page tables? YAMAMOTO Takashi