How to: HDHomeRun 4DC (HDHR3-4DC) + TvHeadend on Raspberry Pi 2B

pi2First we update the Raspberry Pi:
sudo rpi-update
sudo reboot
sudo apt-get update
sudo apt-get upgrade
sudo reboot

HDhomerun installation:
cd ~/Desktop
wget http://download.silicondust.com/hdhomerun/libhdhomerun_20141210.tgz
wget http://download.silicondust.com/hdhomerun/hdhomerun_config_gui_20141210.tgz
sudo apt-get install libgtk2.0-dev
tar -zxf libhdhomerun_20141210.tgz
tar -zxf hdhomerun_config_gui_20141210.tgz
cd hdhomerun_config_gui
./configure
make
sudo make install

Test if the install works:
hdhomerun_config discover

Set the address ( Replace FFFFFFFF withe the id generated by the discover.)
sudo hdhomerun_config FFFFFFFF set /sys/dvbc_modulation a8qam64-6875 a8qam256-6875

Build and Install TvHeadend:
cd ~/Desktop
sudo aptitude install build-essential git pkg-config libssl-dev bzip2 wget -y
sudo aptitude install libavahi-client-dev zlib1g-dev libavcodec-dev libavutil-dev libavformat-dev libswscale-dev -y
git clone https://github.com/tvheadend/tvheadend.git
cd tvheadend
./configure --enable-hdhomerun_client --enable-hdhomerun_static --enable-libffmpeg_static --enable-bundle
make

We can test the build now by running:
./build.linux/tvheadend -C

When the tuners are visible we can continue:
sudo make install

To run TvHeadend I added to my rc.local:
/usr/local/bin/tvheadend