Thank you for the reply, and for the link to the YouTube video. I'm running VirtualBox 5.0.30 under Windows 7 64-bit. I've configured the Redox VM as described. Redox is starting up for me, but networking appears not to be working. Following the video, I attempt to do "sudo pkg install sodium" in Terminal. It responds with "Connecting to static.redox-os.org:80", and that's it.
Switching to the debug terminal, I see about 12 lines of DHCP activity. The last couple lines are:
DHCP: Domain Name Server: [192, 168, 1, 1, 71, 252, 0, 12]
DHCP: Lease Time: ...
DHCP: Server ID: [10, 0, 2, 2]
DHCP: New IP: 10.0.2.15
DHCP: New Subnet: 255.255.255.0
DHCP: New Router: 10.0.2.2
DHCP: Sent Request
DHCP: Ack IP: [10, 0, 2, 15], Server IP: [10, 0, 2, 4]
And that's it. The DNS values are being pulled from the Windows host session, and are correct. 192.168.1.1 is my home router.
If anyone has Redox with networking working in VirtualBox under Windows, I'd appreciate if you could share your configuration.