Greetings. I have uploaded a pre-compiled kernel image for the Philips Nino to my FTP site. It is the most recent kernel from the SGI MIPS kernel with a 512KB ramdisk image linked into it containing a stand alone shell. Simply upload to your Nino and use the PocketBSD bootloader to boot with. It is available at:
ftp://ftp.cotw.com/Nino/kernel/vmlinux.bz2
-Steve
--
Steven J. Hill - Embedded SW Engineer

