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

TODO: the server fails to start on boot

Once it is up, the TV refuses to connect, since it can’t ping google.

So, we set up a fake captive portal on the Pi, as described in this post.