port-arm32: how should I build install kernels?

Subject: how should I build install kernels?
To: None <port-arm32@netbsd.org>
From: Ignatios Souvatzis <is@beverly.kleinbus.org>
List: port-arm32
Date: 07/18/2000 21:57:04

Hi,

how do I build the install kernel (for Shark, in case this matters)?

make in /usr/src/distrib/arm32 make a ramdisk, then stops...

Regards,
	-is