Linux SoC FPGA VGA driver

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 from the beginning and there is no such driver inside Kernel.


(late answer)
I believe this is what you for :,axi_vga_fb