Vga on sandpoint

Benjamin Herrenschmidt benh at
Wed Oct 8 07:28:03 EST 2003

On Tue, 2003-10-07 at 17:40, maurie wrote:
> Linuxppc developers,
> 	I am attempting to get pci vga working on the sandpoint platform
> using dink32 to start linux.  I have tried several S3 cards with no video
> success.  The kernel has vga driver support for SIS and ATI support, but
> these are classified as experimental and will not compile, undefined
> externals for __floatsidf, __divdf3, __adddf3, __fixunsdfsi, __muldf3, and
> __vmalloc.

What kernel is this exactly ? Those symbols seem to imply something
is trying to do floating point in the kernel, which is totally
forbidden. Most video cards need to be soft-booted (POSTed) some way
before a kernel driver can use them. This require some firmware support,
typically an x86 BIOS emulator, do you have that in dink32 ? Some
fbdev's, afaik, can run a card booted from scratch (I think Matroxfb
with earlier cards and some clgen but I don't know the details).

Regarding __vmalloc, that should be defined (and exported) by the
core kernel.

Now, regarding he availability of the VGA space, that depends how
your host bridge is configured, do you have a pass-through window
to legacy VGA addresses on the PCI ?


** Sent via the linuxppc-dev mail list. See

More information about the Linuxppc-dev mailing list