Merge "Separating Processor Interface from core.h" into devel/master