Pushing kernel stuff into Python