Does anyone have the tun/tap kernel module for the Internet Tablet?

I am trying to port Tinc (a VPN program), which needs the tun device. I have installed the SDK and built tinc but I am trying to avoid having to install and build the kernel and then the tun driver -- hoping someone has already done this.

Graham