you need to get the physical frame buffer address from the hardware and then mmap that in user mode. It doesn't much matter what the kernel things it is. ron