Sync kernel&re