Setting up the environment

The picoTCP source code is hosted on GitHub at https://github.com/tass-belgium/picotcp. The easiest way to get a hold of a copy is to use Git and make a clone. To install all requirements check out the following subsection that matches with the OS/distribution you want to use during development with picoTCP.

Install prerequisite packages

Ubuntu

$ sudo apt-get install git
$ sudo apt-get install vde2
$ sudo apt-get install libvdeplug2-dev   
$ sudo apt-get install libpcap0.8-dev   
$ sudo apt-get install check

OpenSUSE and derivatives

$sudo zypper install git
$sudo zypper install vde2
$sudo zypper install libvdeplug3-devel
$sudo zypper install libpcap-devel
$sudo zypper install check-devel

Setting up the environment

Set your credentials if this is your first time using git:

$git config --global user.name "John Doe"
$git config --global user.email [email protected]

Make an account on GitHub.com (and add your public key to your profile). You can generate a public/private key pair with $ssh-keygen.
Download the source code:

$git clone [email protected]:tass-belgium/picotcp.git

Compile picoTCP:

$make

You should now have the picoTCP library (libpicotcp.a) statically compiled for your own machine’s architecture under picotcp/build/lib.