Hi. I am just wondering why "options DEVICE_POLLING" is not possible with a SMP-Kernel. Well, i know that there is a workaround with "/usr/src/sys/kern/kern_poll.c" which works perfectly building a SMP Kernel with polling. My question is, are there any known problems with SMP+polling or why is it not possible by default? asg