This may seem a bit ignorant, but I need help compiling and testing a 
current hp700 kernel. I compile a kernel using build.sh -m hp700 
kernel=SMALL, but this gives me an ELF executable. How does it get 
loaded? I am gussing SYSNBSD is the secondary bootloader, but it's 
large, so it must contain the kernel, since also there is none to be 
found. If this is the case, how do I "embed" a new kernel in it?

Thanks.
Kirill