port-arm32: /dev/cpu* ?

Subject: /dev/cpu* ?
To: None <port-arm32@netbsd.org>
From: Hubert Feyrer <feyrer@rfhs8012.fh-regensburg.de>
List: port-arm32
Date: 09/20/1999 02:17:29

Just curious: I just saw (in the MAKEDEV script) that there's
a /dev/cpu* on the arm32 port. What's it for? (There seems
to be no arm32/cpu.4 manpage...)


TIA,

	Hubert