Right kernel branch