IS kernel: performance enhancement