branch abandoned; due to problems with dual core kernel and no time to fix