managed by kern_devconf.c. A useful feature is that the following script generates almost well-formed config-file lines for all ISA devices in the system: lsdev -t isa | awk '{ print "device $0" }' lsdev -t disk | awk '{ print "disk $0" }'
