[9fans] Help with networking on Virtual Box

[Peter Hull <peterhull90@gmail.com>]

Dear All,
I am just trying to set up Plan 9 so I can have a play with it. I'm
running it in VirtualBox 4.3.6 and I'm running into the DNS problem
that has been reported earlier [1]

ip/ipconfig seems to run fine but it assigns an address of 127.0.0.1
and DNS doesn't work.

Unfortunately (as far as I can see) the previous reports didn't come
up with a solution or the reporter found a different way to run Plan
9.

 I used the -D option on ip/ipconfig and got this:
term% ip/ipconfig -D
ipconfig: parsebootp: new packet
ipconfig: parseoptions: type(53) len 1, bytes left 58
ipconfig: parseoptions: serverid(54) len 4, bytes left 55
ipconfig: parseoptions: lease(51) len 4, bytes left 49
ipconfig: parseoptions: ipmask(1) len 4, bytes left 43
ipconfig: parseoptions: ipgw(3) len 4, bytes left 37
ipconfig: parseoptions: dns(6) len 4, bytes left 31
ipconfig: got offer from 0.0.0.0
ipconfig: lease=86400
ipconfig: server=192.168.1.1 sname=
ipconfig: parsebootp: new packet
ipconfig: parseoptions: type(53) len 1, bytes left 58
ipconfig: parseoptions: serverid(54) len 4, bytes left 55
ipconfig: parseoptions: lease(51) len 4, bytes left 49
ipconfig: parseoptions: ipmask(1) len 4, bytes left 43
ipconfig: parseoptions: ipgw(3) len 4, bytes left 37
ipconfig: parseoptions: dns(6) len 4, bytes left 31
ipconfig: got ack from 0.0.0.0
ipconfig: lease=86400
ipconfig: ipaddr=192.168.1.25 ipmask=255.255.255.0
ipconfig: ipgw=192.168.1.1
ipconfig: dns=192.168.1.1
ipconfig: server=192.168.1.1 sname=
term% cat /net/ndb
ip=127.0.0.1 ipmask=/104 ipgw=::
sys=gnot
sys=gnot
dns=192.168.1.1

Does anyone know how I might go about solving the problem?

Thanks,
Peter

[1]: http://9fans.net/archive/2013/08/31