OK, your reply gave me the clue: time zones. Thank you!
My computer uses GMT (aka UTC) so Buildroot has been displaying the correct time, but as UTC, not as my time zone. At Noon, my time, the "date" command was saying 4 PM, UTC. Correct, but it means I have to subtract four hours (five when not on DST) in my head.
Anyway, I booted my Bedrock install, into the Buildroot init, and then I typed this:
Code:
export TZ="America/New_York"
After that, "time" indicated that it was in my time zone (it said "EDT" rather than "UTC" and it displayed the correct time, as viewed in my actual time zone.
I then told brl to fetch a
second Void stratum, using -n to prevent a name conflict with the first Void, and it fetched fine!