vhdl sample code for SoCkit

Hi,

I see the sample codes included in SoCkit embedded resources presented as verilog code.

Is there any similar VHDL sample codes for setupping the peripherals on the board?