port-arm32: how many kernels in a snapshot?

Subject: how many kernels in a snapshot?
To: None <port-arm32@netbsd.org>
From: Erik E. Fair <fair@clock.org>
List: port-arm32
Date: 04/09/1999 11:56:15

If one were building an arm32 snapshot, how many of the kernels from the
configs in src/sys/arch/arm32/conf should one build for inclusion the
binary/kernel directory? At guess, I'd say

	A7000 CATS EBSA285 RISCPC SHARK

but I'm not quite sure which of these are required (i.e. GENERIC will not
run on the systems supported in the above configs) and which are
optimizations for specific platforms?

	Erik <fair@clock.org>