Izumi Tsutsui wrote:
does atari have pci?
in the worst case rename this to ete then :-)
-rw-r--r-- 1 mrg mrg 3399 Jul 8 2009 /sys/arch/atari/include/pci_machdep.h
but not PCIe.
It's better to rename atari's et(4) to et4k(4) (or so).
I don't think there is a paranoiac user who uses NetBSD/atari
on TT030 with the VME ET4000
http://www.ataritt030.info/galeria/2.jpg
and it only affects kernel config files (no userland config refers it).
Once upon a time there were a file src/sys/dev/DEVNAMES that were
intended for people
to look in and add new devices to so that name collisions could be
avoided.
But seems that this file is rarely used these days.
-- Ragge