Temasek Kernel 250713-0201