I found the page, thanks.

Being new to the empeg device, I need just a little bit of help about upgrading the kernel. I presume we just use the EmpegUpdate program and point to this file?

How will this kernel differ or change from the current "development" kernel.