I am working on a dual cortex a9 based soc, i have NetBSD 5.9.33 running on a single core, and i would like add SMP support. Before i go too deep into it, i want know the current state of SMP for ARM platforms. Is there any work going on in this direction ? Thanks Ashwini