F4PGA Toolchain Examples for Xilinx 7 Series
============================================
#. ``counter`` - simple 4-bit counter driving LEDs. The design targets the `Basys3 board `__, the `Arty boards `__, and the `Zybo Z7 board `__
#. ``picosoc`` - `picorv32 `__ based SoC. The design targets the `Basys3 board `__.
#. ``litex`` - Series of `LiteX-based `__ designs, that feature different CPU types and LiteX modules.
#. ``linux_litex`` - `LiteX `__ based system with Linux capable `VexRiscv core `__. The design includes `DDR `__ and `Ethernet `__ controllers. The design targets the `Arty boards `__.
The Linux images for the ``linux_litex`` example can be built following the `linux on litex vexriscv `__ instructions.
The ``linux_litex`` example is already provided with working Linux images.
The detailed description about building the examples is available in the
`project documentation `__.