This is a more up to date version of the Linux kernel framebuffer driver for
the STPC framebuffer. I have fixed the Kernel part of the driver to compile
and work with kernel 2.4.26 (was written for 2.4.5). Also, I could not figure
out the right way to rebuild gdk.a (because of the unusual build system used
in the STPC GDK 1.4), so I kept only the necessary stuff, and made a more
standard Makefile for it (see gdk-kernel/).

I tested this stuff with the Consumer II development board.
http://www.stmcu.com/devicedocs-Consumer-II-75.html

Here are installation instructions:

1: patch your kernel with the includes patch file.
   - cd to the directory where you untarred your kernel.
   - do patch -p1 < ../path to linux-2.4.26-stpcfb-a.diff

2: build gdk.a 
   - cd to gdk-kernel
   - edit the makefile, and set KERNEL_HEADER to the right path
   - type make
   - copy gdk.a to the /drivers/video/gdk/ subdirectory of your kernel source
   - NOTE: nasm is required

3: Configure and build your kernel
   - In code maturity level options, select prompt for devel...
   - In console drivers->Framebuffer support, enabled STPC frame buffer 
     support
   - In console drivers->Framebuffer support->Advanced low level driver 
     options, select 8, 16, 24 and 32 bpp packed pixels support

4: Boot with the correct args.

partial lilo conf to show arguments examples:

# for 24 bit
vga=786
append="video=stpc:depth:24,output:tvntsc269"

# for 16 bit
vga=785
append="video=stpc:depth:16,output:tvntsc269"

# for 8 bit
vga=769
append="video=stpc:depth:8,output:tvntsc269"

See ST documentation or driver source code for more information.