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 `__.