hardware

Verilog development and verification project for HOL4

How to download and setup hardware

Open terminal and run command

git clone https://github.com/CakeML/hardware.git

git clone is used to create a copy or clone of hardware repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with hardware https://github.com/CakeML/hardware/archive/master.zip

Or simply clone hardware with SSH

[email protected]:CakeML/hardware.git

If you have some problems with hardware

You may open issue on hardware support forum (system) here: https://github.com/CakeML/hardware/issues

Similar to hardware repositories

Here you may see hardware alternatives and analogs

PipeCNN lowlevelprogramming-university Hackintosh-Installer-University trezor-agent LightUpPi-Alarm open-electronics gobot platformio-core blynk-library blynk-server node-serialport lelylan anypixel Marketing-for-Engineers openvr awesome-electronics librealsense periph pyusb awesome-vehicle-security NyuziProcessor go-hardware Neural-Networks-on-Silicon UsbSerial pgtune wrmhl platformio-atom-ide ansible-provisioning w1thermsensor attifyos