First, we need to install a dhcp server on the pi.

TODO: the server fails to start on boot since the interface does not come up

Once it is up, the TV refuses to connect, since it can’t ping google; however it will connect if