#uname -a NetBSD pinet 7.0_RC1 NetBSD 7.0_RC1 (RPI2.201506190427Z) evbarm sysctl shows me the following: hw.ncpu = 1 cat /proc/cpuinfo shows no output. Is the default kernel in this release not SMP or is it that SMP is not yet supported for pi? Mayuresh