Temasek kernel 260813