[src/trunk]: src/etc/etc.arm32 Add the install kernels

[matt <matt%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/bccd1565894e
branches:  trunk
changeset: 499112:bccd1565894e
user:      matt <matt%NetBSD.org@localhost>
date:      Sat Nov 11 20:56:46 2000 +0000

description:
Add the install kernels

diffstat:

 etc/etc.arm32/Makefile.inc |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (18 lines):

diff -r 537deea5f136 -r bccd1565894e etc/etc.arm32/Makefile.inc
--- a/etc/etc.arm32/Makefile.inc        Sat Nov 11 12:34:22 2000 +0000
+++ b/etc/etc.arm32/Makefile.inc        Sat Nov 11 20:56:46 2000 +0000
@@ -1,11 +1,12 @@
-#      $NetBSD: Makefile.inc,v 1.7 2000/07/22 02:33:06 briggs Exp $
+#      $NetBSD: Makefile.inc,v 1.8 2000/11/11 20:56:46 matt Exp $
 #
 #      etc.arm32/Makefile.inc -- arm32-specific etc Makefile targets
 #
 
 # Set this for any kernels beyond GENERIC you want to include
 # in the distribution.
-EXTRA_KERNELS+= A7000 CATS EBSA285 RISCPC SHARK
+EXTRA_KERNELS+= A7000 CATS EBSA285 RISCPC SHARK \
+               A7INST CATSINST RPCINST SHARKINST
 
 # Build the release notes and boot floppies and install them
 snap_md_post: