> >>> 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.
I know that file and you created it after annoying rl(4) vs rtk(4) issue, but anyway no one will claim to preserve the traditional one in this case. --- Izumi Tsutsui