[ipv6-wg] ripemtg-nat64 network at RIPE71: complain here ;)

All,

Using VirtualBox on the NAT64 fails for me, although is partially due
to the wireless hardware I have.

If I use the NatNetwork interface style (NAT with IPv6 support), then I
don't see any DNS servers, so it's unusable.

If I use the bridged network interface style, IPv6 does get addresses
but can't actually use them. I think that this is a problem with my
Broadcom WiFi hardware, as it happens even using normal dual-stacked
IPv4/IPv6. I blame the evil out-of-mainline kernel drivers. (This setup
works fine using wired Ethernet.) 

VirtualBox 5.0.2
Debian testing / 4.2.0-1-amd64 kernel
Broadcom Corporation BCM4352 802.11ac Wireless Network Adapter

Cheers,

--
Shane