cgd 38cbb3213c Fix up includes so that up-to-date versions of 'config' can be used ...

to config pmax kernels.  Not all kernels can actually be config'd because
of device declaration problems, but i don't know how to fix those.

1996-12-03 01:18:17 +00:00

..

builtin.3max

…

builtin.3100

…

builtin.ioasic

…

builtin.maxine

…

DS3100

…

DS5000_25

…

DS5000_100

…

DS5000_200

…

DS5000_240

…

DSG

…

files.pmax

Fix up includes so that up-to-date versions of 'config' can be used

1996-12-03 01:18:17 +00:00

GENERIC

…

INSTALL

…

Makefile.pmax

…

mi.scsi

…

MINIROOT

Fix up includes so that up-to-date versions of 'config' can be used

1996-12-03 01:18:17 +00:00

NEWCONF

Fix up includes so that up-to-date versions of 'config' can be used

1996-12-03 01:18:17 +00:00

NFSINSTALL

…

NFSROOT

Fix up includes so that up-to-date versions of 'config' can be used

1996-12-03 01:18:17 +00:00

scsi.pmax

…

std.pmax

…

tc.options

…

tc.std

Fix up includes so that up-to-date versions of 'config' can be used

1996-12-03 01:18:17 +00:00