On Fri, 2010-04-09 at 16:11 -0400, H. Peter Anvin wrote:
It is used for a custom FPGA implementing a watchdog timer and some
other functionality.
This is not a matter of supporting such a device in Linux, it is a
matter of explicitly excluding non-VGA devices from using VGA memory
space.
If that is the decision, it might be worthwhile mentioning it somewhere
in the documentation, to prevent others from ever using that memory
space in an embedded system (and to save them the time needed to find
out about it and to identify and implement a workaround).
Guenter
--