in sources/contrib/rminnich/lguest, there is: 9lguestcpu.elf, latest kernel that boots under lguest. and lguest.tgz
sources this was built from. Comments, improvements welcome. There may be some test code in there but it won't affect normal or even abnormal usage. ron