Linux SoC FPGA VGA driver

Hi,
Does anyone have idea how to implement VGA Frame buffer driver in linux-socfpga kernel source for DE1 SoC board? Like this one from Terasic’s Linux Console with framebuffer image. I am using same FPGA design, but I am compiling Linux kernel (from this source git.rocketboards.org/linux-socfpga.git) from the beginning and there is no such driver inside Kernel.

Thanks,
Sveto

(late answer)
I believe this is what you for : http://opencores.org/project,axi_vga_fb