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