>Number:         11783
>Category:       port-pc532
>Synopsis:       pc532 doesn't preserve floppy kernel in RELEASEDIR
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    port-pc532-maintainer
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Tue Dec 19 18:44:00 PST 2000
>Closed-Date:
>Last-Modified:
>Originator:     John Hawkinson
>Release:        -current of 19 Dec 2000
>Organization:
MIT
>Environment:
	
System: NetBSD zorkmid.mit.edu 1.5N NetBSD 1.5N (ZORKMID-$Revision: 1.3 $) #55: Mon Dec 18 23:05:14 EST 2000 jhawk@zorkmid.mit.edu:/usr/local/netbsd-current/src/sys/arch/i386/compile/ZORKMID i386


>Description:

	The pc532 port doesn't preserve the kernel used to build the installation
floppy in ${RELEASEDIR}/installation/kernel, like many other ports do. This is
unfortunate. It's even worse because the kernel is stripped, so there is no
where to look for an unstripped version of that kernel, nor is there a good
place for the symbols files to live.

	'make release' should be modified to save the floppy kernel in
installation/kernel, as well as provide the output of 'nm' on it, prior
to stripping it.
	
>How-To-Repeat:
	Inspection.
>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted: