I guess you can safely assume that SMP works only on ia32, amd64 and sparc64. I don't know about mips32.
The MIPS port has only dummy SMP support at present in MSIM, i.e. it detects more CPUs, but does not utilize them.
M.D. _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/cgi-bin/listinfo/helenos-devel
