Problem finding tun device

[Stuart Luppescu]

On Sun, 2016-06-05 at 07:33 +0000, David Woodhouse wrote:
> Oops. Wait a minute. I rebooted. When the computer came back up,
> there
> > was not tun device. When I ran the openconnect start script, it was
> > like this:
> >
> > ll /dev/net/tun
> > crw-r----- 1 root root 10, 200 Jun  4 21:36 /dev/net/tun
> 
> It should be 0666; please file a bug with your distribution. But I
> suspect
> your problem is that although to device node (10,200) exists in the
> file
> system, your *kernel* doesn't have the tun driver loaded.

Ah, right. I grep'ed for TUNNEL in the kernel config and found
everything OK, but missed CONFIG_TUN. That fixed it. Thanks.

-- 
Stuart Luppescu
Chief Psychometrician
UChicago Consortium on School Research
http://consortium.uchicago.edu